Popular repositories Loading

1. math-formalizations math-formalizations Public

   Formalization of some elementary mathematical theories in Coq

   Coq 15

2. Coq-2025 Coq-2025 Public

   Forked from TurtlePU/Coq-2025

   Материалы курса по Coq для ЦУ

   HTML

3. SVerLean SVerLean Public

   Forked from vasnesterov/SVerLean

   "Software Verification in Lean" course

   Lean

4. fp-lean fp-lean Public

   Forked from leanprover/fp-lean

   Functional Programming in Lean

   Lean

5. theorem_proving_in_lean4 theorem_proving_in_lean4 Public

   Forked from leanprover/theorem_proving_in_lean4

   Theorem Proving in Lean 4

   Lean

6. reference-manual reference-manual Public

   Forked from leanprover/reference-manual

   The Lean reference manual

   Lean