Repositories
59
 Projects Packages Code
Filter
Sort
leanprover-community.batteries
Lean 0 0
The "batteries included" extended library for the Lean programming language and theorem prover
lean lean4
Updated 2026-07-04 10:49:10 +00:00
leanprover-community.mathlib4
Lean 0 0
The math library of Lean 4
lean4
Updated 2026-07-04 10:25:02 +00:00
leanprover-community.mathlib4-nightly-testing
Lean 0 0
nightly-testing and lean-pr-testing branches of Mathlib
Updated 2026-07-04 09:34:59 +00:00
leanprover-community.NNG4
Lean 0 0
Natural Number Game
lean4
Updated 2026-07-03 06:31:35 +00:00
leanprover-community.repl
Lean 0 0
A simple REPL for Lean 4, returning information about errors and sorries.
Updated 2026-06-19 11:45:09 +00:00
AlexKontorovich.RealAnalysisGame
Lean 0 0
RealAnalysisGame
Updated 2026-05-22 20:28:10 +00:00
djvelleman.STG4
Lean 0 0
Set Theory Game
Updated 2026-01-20 18:16:46 +00:00
encosllo.IntroToLean4
Lean 0 0
An Introduction to Lean 4
lean4 mathematics mathematics-notes
Updated 2025-09-16 09:06:43 +00:00