Popular repositories Loading

1. libcrux-lean-specs libcrux-lean-specs Public

   Hax Lean 4 prelude for libcrux pure crypto specs

   Lean 5 1

2. CatCrypt-core CatCrypt-core Public

   Core of Catcrypt

   Lean 3

3. hax-lean hax-lean Public

   Verified hax compiler phases in Lean 4: AST, semantics, 4 phases, end-to-end pipeline correctness

   Lean 2

4. nominal-lean nominal-lean Public

   Lean 2

5. Divided-Difference Divided-Difference Public

   Paper and formalization on divided differences

   1

6. HoTT HoTT Public

   Forked from HoTT/Coq-HoTT

   Homotopy type theory

   Coq 1