Skip to content
@WuProver

WuProver

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 9 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

Repositories

Showing 8 of 8 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Most used topics

Loading…