-
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedOct 5, 2025 -
LinearAlgebraGame Public
Forked from AdamJasonKern/LinearAlgebraGame -
lean4game-world-display-bug Public
Minimal reproduction of world display bug in lean4game
UpdatedJul 21, 2025 -
lean4gametest Public
Forked from leanprover-community/lean4gameServer to host lean games.
TypeScript GNU General Public License v3.0 UpdatedJul 14, 2025 -
-
leangametemplate Public
template for lean 4 linear algebra game
Shell MIT License UpdatedMay 23, 2025