Popular repositories Loading

1. groebner_proj groebner_proj Public

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

   Lean 33 3

2. MonomialOrderedPolynomial MonomialOrderedPolynomial Public

   Monomial ordered polynomial implementation in Lean4

   Lean 11 1

3. GroebnerTactic GroebnerTactic Public

   Lean 8 1

4. lean_characteristic_set lean_characteristic_set Public

   Formalization of the Characteristic Set Method in Lean 4

   Lean 4

5. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean

6. plastexdepgraph plastexdepgraph Public

   Forked from PatrickMassot/plastexdepgraph

   Dependency graph plugin for plasTeX

   Python