Repositories
34
 Projects Packages Code
Filter
Sort
leanprover-community.mathlib4
Lean 0 0
The math library of Lean 4
lean4
Updated 2026-03-06 18:18:21 +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-03-06 10:19:57 +00:00
leanprover-community.mathlib4-nightly-testing
Lean 0 0
nightly-testing and lean-pr-testing branches of Mathlib
Updated 2026-03-06 07:43:17 +00:00
leanprover-community.repl
Lean 0 0
A simple REPL for Lean 4, returning information about errors and sorries.
Updated 2026-03-05 01:38:51 +00:00
leanprover-community.NNG4
Lean 0 0
Natural Number Game
lean4
Updated 2026-03-01 23:57:11 +00:00
AlexKontorovich.RealAnalysisGame
Lean 0 0
RealAnalysisGame
Updated 2026-02-13 17:31:32 +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