aaron-siegel / cgsuiteLinks
A computer algebra system for research in combinatorial game theory
☆51Updated last year
Alternatives and similar repositories for cgsuite
Users that are interested in cgsuite are comparing it to the libraries listed below
Sorting:
- 💧 Liquid Tensor Experiment☆211Updated last year
- An introduction to theorem proving in Lean for the impatient.☆290Updated last week
- A formalized proof of Carleson's theorem in Lean☆77Updated last week
- Formalization of Mathematical Logic☆176Updated this week
- The standard template to create a lean game☆32Updated 3 weeks ago
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆195Updated this week
- Formalizing "Proofs from THE BOOK"☆68Updated last month
- Source code for the nLab☆189Updated 8 months ago
- Lean documentation authoring tool☆233Updated this week
- Server to host lean games.