# Formal Verification

This directory holds documentation and proofs for the formal verification of the
library.
It is divided into different sub-directories for each backend that is used for
proofs within libcrux.

- [AU Curves](./aucurves/)
- [HACL\*](./hacl-star/)
- [libjade](./libjade/)
- [Vale](./vale-crypto/)