Popular repositories Loading

1. groebner_proj groebner_proj Public

   Formalization of Gröbner basis theory in Lean4 (WIP)

   Lean 29 2

2. MonomialOrderedPolynomial MonomialOrderedPolynomial Public

   Monomial ordered polynomial implementation in Lean4

   Lean 8 1

3. lean_characteristic_set lean_characteristic_set Public

   Formalization of the Characteristic Set Method in Lean 4

   Lean 4

4. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean

5. plastexdepgraph plastexdepgraph Public

   Forked from PatrickMassot/plastexdepgraph

   Dependency graph plugin for plasTeX

   Python

6. lean4 lean4 Public

   Forked from leanprover/lean4

   Lean 4 programming language and theorem prover

   Lean