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.