Popular repositories Loading

1. RingOfIntegersProject RingOfIntegersProject Public

   Certifying rings of integers in number fields with Lean

   Lean 8 1

2. CAPGame CAPGame Public

   New version of the CAP Game in Lean 4. Created as material for the course computer assisted proofs at the Vrije Universiteit Amsterdam. Original found at https://alexjbest.github.io/CAP-game/

   Lean 1 3

3. CAP-game CAP-game Public

   Forked from alexjbest/CAP-game

   Lean

4. CertifyingInvariantsNF CertifyingInvariantsNF Public

   Formally certifying invariants of number fields in Lean

   Lean

5. CAP-Game-2025 CAP-Game-2025 Public

   New version of the CAP Game in Lean 4. Created as material for the course computer assisted proofs at the Vrije Universiteit Amsterdam. Original found at https://alexjbest.github.io/CAP-game/

   Lean

6. my_project my_project Public

   project template

   Lean