aaron-siegel / cgsuiteLinks
A computer algebra system for research in combinatorial game theory
☆41Updated last year
Alternatives and similar repositories for cgsuite
Users that are interested in cgsuite are comparing it to the libraries listed below
Sorting:
- Formalizing "Proofs from THE BOOK"☆61Updated 5 months ago
- An introduction to theorem proving in Lean for the impatient.☆201Updated 2 weeks ago
- The standard template to create a lean game☆24Updated 2 months ago
- Lean documentation authoring tool☆167Updated this week
- This project converts structured Lean code into an interactive browser game.☆76Updated last year
- Lean for the Curious Mathematician 2020☆66Updated last year
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆120Updated last year
- Formalization of Mathematical Logic☆120Updated this week
- The Lean reference manual☆65Updated this week
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- A formalized proof of Carleson's theorem in Lean☆55Updated this week
- An interactive theorem prover for string diagrams☆115Updated 7 months ago
- tool for turning Lean proofs into Blender animations☆68Updated last month
- Very controlled natural language tactics for Lean☆64Updated last year
- Mathlib search tool☆88Updated 3 weeks ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆28Updated 3 years ago
- Server to host lean games.☆269Updated last week
- Source code for the nLab☆175Updated 2 months ago
- ☆87Updated last year
- A Lean file formatter☆67Updated 2 years ago
- Document Generator for Lean 4☆95Updated this week
- A formal proof of the independence of the continuum hypothesis☆125Updated 9 months ago
- ☆30Updated last week
- 💧 Liquid Tensor Experiment☆196Updated last year
- Code samples for Lean 4☆75Updated last year
- The matrix cookbook, proved in the Lean theorem prover☆106Updated this week
- A formal consistency proof of Quine's set theory New Foundations☆71Updated last week
- Theorem Proving in Lean 4☆181Updated 7 months ago
- Fermat's Last Theorem for regular primes