hhu-adam / GameSkeletonLinks
The standard template to create a lean game
☆29Updated last month
Alternatives and similar repositories for GameSkeleton
Users that are interested in GameSkeleton are comparing it to the libraries listed below
Sorting:
- Helper toolkit for creating your own Lean 4 UserWidgets☆157Updated this week
- The Lean 4 web editor☆113Updated last month
- Document Generator for Lean 4☆110Updated this week
- plasTeX plugin to build formalization blueprints.☆248Updated last month
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆189Updated last week
- Server to host lean games.☆330Updated this week
- An introduction to theorem proving in Lean for the impatient.☆280Updated last month
- White-box automation for Lean 4☆307Updated this week
- Theorem Proving in Lean 4☆213Updated last week
- Tool to analyse the import structure of lean projects.☆15Updated last week
- The Lean reference manual☆84Updated this week
- tool for turning Lean proofs into Blender animations☆74Updated 2 months ago
- SorryDB indexes sorries in public lean repositories☆37Updated this week
- Package registry for Lean/Lake.☆28Updated 2 weeks ago
- Formalizing "Proofs from THE BOOK"☆66Updated 3 weeks ago
- Formalization of Mathematical Logic☆174Updated last week
- Overview of tactics in Lean 4 for beginners — longer version☆96Updated 4 months ago
- Visual Studio Code extension for the Lean 4 proof assistant☆235Updated this week
- Try a tactic at each step in a Lean proof.☆30Updated this week
- The matrix cookbook, proved in the Lean theorem prover☆121Updated last month
- Catalog Of Math Problems Formalized In Lean☆201Updated this week
- Source code for the Mathematics in Lean tutorial.☆174Updated 2 months ago
- Lean 4 tutorial files☆44Updated 4 months ago
- 💧 Liquid Tensor Experiment☆208Updated last year
- A template for blueprint-driven formalization projects in Lean.☆75Updated last month
- Natural Number Game☆233Updated 3 weeks ago
- Tools based on AI for helping with Lean 4☆103Updated this week
- Natural language tactics to teach mathematics using Lean 4☆96Updated last week
- Experiments on automation for Lean☆142Updated last week
- A list of awesome lean4 projects. Feel free to add your project.☆104Updated this week