8000 WuProver · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
@WuProver

WuProver

Popular repositories Loading

  1. groebner_proj groebner_proj Public

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

    Lean 20 1

  2. mathlib4 mathlib4 Public

    Forked from leanprover-community/mathlib4

    The math library of Lean 4

    Lean

  3. plastexdepgraph plastexdepgraph Public

    Forked from PatrickMassot/plastexdepgraph

    Dependency graph plugin for plasTeX

    Python

  4. lean-experiments lean-experiments Public

    Some of our experiments and drafts in Lean

    Lean

  5. lean4 lean4 Public

    Forked from leanprover/lean4

    Lean 4 programming language and theorem prover

    Lean

  6. leanblueprint leanblueprint Public

    Forked from PatrickMassot/leanblueprint

    plasTeX plugin to build formalization blueprints.

    Python

Repositories

Showing 6 of 6 repositories

People

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

Top languages

Loading…

Most used topics

Loading…
0