- Zürich, Switzerland
Popular repositories Loading
-
verbose-lean4
verbose-lean4 PublicForked from PatrickMassot/verbose-lean4
Natural language tactics to teach mathematics using Lean 4
Lean
-
-
LeanTeX
LeanTeX PublicForked from kmill/LeanTeX
Lean 4 library for pretty printing expressions as LaTeX
Lean 1
-
ProofWidgets4
ProofWidgets4 PublicForked from leanprover-community/ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
Lean
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.