hhu-adam / GameSkeletonLinks
The standard template to create a lean game
☆27Updated last week
Alternatives and similar repositories for GameSkeleton
Users that are interested in GameSkeleton are comparing it to the libraries listed below
Sorting:
- Formalization of Mathematical Logic☆151Updated this week
- The Lean 4 web editor☆105Updated this week
- Helper toolkit for creating your own Lean 4 UserWidgets☆151Updated last week
- plasTeX plugin to build formalization blueprints.☆232Updated 2 months ago
- Visual Studio Code extension for the Lean 4 proof assistant☆224Updated this week
- Theorem Proving in Lean 4☆203Updated 2 weeks ago
- An introduction to theorem proving in Lean for the impatient.☆235Updated last week
- Server to host lean games.☆309Updated this week
- White-box automation for Lean 4☆293Updated last week
- Formalizing "Proofs from THE BOOK"☆64Updated 3 weeks ago
- Document Generator for Lean 4☆101Updated last week
- Try a tactic at each step in a Lean proof.☆29Updated last week
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆183Updated this week
- Catalog Of Math Problems Formalized In Lean☆192Updated this week
- SorryDB indexes sorries in public lean repositories