Repositories
71
 Projects Packages Code
Filter
Sort
leanprover-community.mathlib4-nightly-testing
Lean 0 0
nightly-testing and lean-pr-testing branches of Mathlib
Updated 2026-11-01 00:50:45 +00:00
leanprover-community.mathlib4
Lean 0 0
The math library of Lean 4
lean4
Updated 2026-10-31 23:59:36 +00:00
leanprover-community.batteries
Lean 0 0
The "batteries included" extended library for the Lean programming language and theorem prover
lean lean4
Updated 2026-10-30 16:03:58 +00:00
leanprover-community.repl
Lean 0 0
A simple REPL for Lean 4, returning information about errors and sorries.
Updated 2026-10-28 13:15:09 +00:00
djvelleman.STG4
Lean 0 0
Set Theory Game
Updated 2026-10-17 18:35:57 +00:00
leanprover-community.NNG4
Lean 0 0
Natural Number Game
lean4
Updated 2026-10-09 10:45:33 +00:00
AlexKontorovich.RealAnalysisGame
Lean 0 0
RealAnalysisGame
Updated 2026-05-22 20:28:10 +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