leanprover-community / lean4gameLinks
Server to host lean games.
☆330Updated this week
Alternatives and similar repositories for lean4game
Users that are interested in lean4game are comparing it to the libraries listed below
Sorting:
- Natural Number Game☆233Updated 3 weeks ago
- An introduction to theorem proving in Lean for the impatient.☆275Updated last month
- The "batteries included" extended library for the Lean programming language and theorem prover☆335Updated this week
- plasTeX plugin to build formalization blueprints.☆248Updated last month
- Theorem Proving in Lean 4☆213Updated this week
- White-box automation for Lean 4☆305Updated last week
- Scientific computing in Lean 4☆432Updated 4 months ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant