-
verso Public
Forked from leanprover/versoLean documentation authoring tool
JavaScript Apache License 2.0 UpdatedOct 31, 2025 -
reference-manual Public
Forked from leanprover/reference-manualThe Lean reference manual
Lean Apache License 2.0 UpdatedOct 24, 2025 -
-
-
elan Public
Forked from leanprover/elanThe Lean version manager
Rust Apache License 2.0 UpdatedSep 17, 2025 -
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedSep 16, 2025 -
-
-
lean4web Public
Forked from leanprover-community/lean4webThe Lean 4 web editor
TypeScript Apache License 2.0 UpdatedSep 7, 2025 -
frontend-template Public
A template for my usual preferences for react projects
TypeScript UpdatedSep 4, 2025 -
mathlib4 Public
Forked from leanprover-community/mathlib4Work in progress mathlib port for lean 4
Lean Apache License 2.0 UpdatedAug 24, 2025 -
-
Rupert.lean Public
Forked from dwrensha/Rupert.leanFormalization of the Rupert Problem for convex polyhedra.
Lean Apache License 2.0 UpdatedAug 17, 2025 -
formal-conjectures Public
Forked from google-deepmind/formal-conjecturesA collection of formalized statements of conjectures in Lean.
Lean Apache License 2.0 UpdatedJul 11, 2025 -
rustpert Public
Some rust code to experiment with brute-force analysis of Rupert property
-
-
lean4-docker Public
A small Dockerfile to allow working on a particular lean4 development inside emacs inside a docker container
Emacs Lisp UpdatedJun 22, 2025 -
-
-
-
-
-
-
-
-
-
-
-
-
{{ message }}