WuProver

Popular repositories Loading

1. groebner_proj groebner_proj Public

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

   Lean 36 4

2. MonomialOrderedPolynomial MonomialOrderedPolynomial Public

   Monomial ordered polynomial implementation in Lean4

   Lean 11 2

3. GroebnerTactic GroebnerTactic Public

   Lean 11 2

4. lean_characteristic_set lean_characteristic_set Public

   Formalization of the Characteristic Set Method in Lean 4

   Lean 6 1

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