-
-
-
wezterm Public
Forked from wezterm/weztermA GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust
Rust Other UpdatedOct 9, 2026 -
Noperthedron Public
The Noperthedron does not have Rupert Property: a proof in Lean4
-
lean-workbench Public
Forked from leanprover/lean-workbenchOnline Lean Workbench
TypeScript Apache License 2.0 UpdatedOct 5, 2026 -
-
-
verso Public
Forked from leanprover/versoLean documentation authoring tool
JavaScript Apache License 2.0 UpdatedSep 25, 2026 -
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedSep 22, 2026 -
-
-
-
-
-
-
formal-conjectures Public
Forked from google-deepmind/formal-conjecturesA collection of formalized statements of conjectures in Lean.
Lean Apache License 2.0 UpdatedAug 9, 2026 -
lean-blockly-test Public
experimental blocks interface for lean games
-
-
lean4web Public
Forked from leanprover-community/lean4webThe Lean 4 web editor
TypeScript Apache License 2.0 UpdatedJul 16, 2026 -
reference-manual Public
Forked from leanprover/reference-manualThe Lean reference manual
Lean Apache License 2.0 UpdatedJun 25, 2026 -
yalep Public
a fork of the main yalep repo
Lean GNU General Public License v3.0 UpdatedJun 24, 2026 -
-
-
docgen-action Public
Forked from leanprover-community/docgen-actionAction to generate Lean documentation pages
JavaScript UpdatedApr 2, 2026 -
-
-
-
-
semisimplicial Public
Some thoughts about semisimplicial types in type theory
Agda UpdatedFeb 28, 2026 -
{{ message }}