hhu-adam / GameSkeletonLinks
The standard template to create a lean game
☆39Updated 2 months ago
Alternatives and similar repositories for GameSkeleton
Users that are interested in GameSkeleton are comparing it to the libraries listed below
Sorting:
- An introduction to theorem proving in Lean for the impatient.☆314Updated last month
- tool for turning Lean proofs into Blender animations☆79Updated last week
- Theorem Proving in Lean 4☆229Updated 3 weeks ago
- Formalizing "Proofs from THE BOOK"☆76Updated last week
- Lean web editor☆128Updated this week
- A formalized proof of Carleson's theorem in Lean☆81Updated this week
- Helper toolkit for creating your own Lean 4 UserWidgets☆172Updated 2 weeks ago
- The Lean reference manual☆97Updated this week
- Formalization of Mathematical Logic☆193Updated this week
- plasTeX plugin to build formalization blueprints.☆284Updated 2 weeks ago
- Document Generator for Lean 4☆119Updated this week
- The matrix cookbook, proved in the Lean theorem prover☆125Updated 3 months ago
- Tools based on AI for helping with Lean 4☆111Updated last week
- A list of awesome lean4 projects. Feel free to add your project.☆117Updated last week
- A Lean file formatter☆70Updated 2 years ago
- ☆97Updated 3 weeks ago
- Source code for the Mathematics in Lean tutorial.☆178Updated 4 months ago
- Try a tactic at each step in a Lean proof.☆31Updated 3 weeks ago
- Visual Studio Code extension for the Lean 4 proof assistant☆246Updated 3 weeks ago
- Experiments on automation for Lean☆152Updated last week
- Overview of tactics in Lean 4 for beginners — longer version☆101Updated 6 months ago
- Server to host lean games.☆379Updated this week
- Catalog Of Math Problems Formalized In Lean☆220Updated last week
- Library implementing type inference/checking functionality based on the Lean theorem prover☆84Updated 3 weeks ago
- Code samples for Lean 4☆76Updated 2 years ago
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆67Updated 3 weeks ago
- Lean 4 tutorial files☆50Updated last month
- Lean documentation authoring tool☆248Updated this week
- 💧 Liquid Tensor Experiment☆219Updated last year
- A computer algebra system for research in combinatorial game theory☆54Updated last year