formal_verification

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
• HACL*
• libjade
• Vale