Repositories
65
 Projects Packages Code
Filter
Sort
leanprover-community.mathlib4
Lean 0 0
The math library of Lean 4
lean4
Updated 2026-09-01 23:57:53 +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-09-01 19:29:22 +00:00
leanprover-community.mathlib4-nightly-testing
Lean 0 0
nightly-testing and lean-pr-testing branches of Mathlib
Updated 2026-09-01 19:14:18 +00:00
leanprover-community.NNG4
Lean 0 0
Natural Number Game
lean4
Updated 2026-08-30 01:41:42 +00:00
leanprover-community.repl
Lean 0 0
A simple REPL for Lean 4, returning information about errors and sorries.
Updated 2026-08-21 22:24:29 +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