aaron-siegel / cgsuite
A computer algebra system for research in combinatorial game theory
☆38Updated last year
Alternatives and similar repositories for cgsuite:
Users that are interested in cgsuite are comparing it to the libraries listed below
- A formalized proof of Carleson's theorem in Lean☆48Updated this week
- The Lean reference manual☆49Updated this week
- A Lean file formatter☆67Updated 2 years ago
- Document Generator for Lean 4☆84Updated last week
- Fermat's Last Theorem for regular primes☆52Updated this week
- Overview of tactics in Lean 4 for beginners — longer version☆75Updated 5 months ago
- Mathlib search tool☆82Updated 3 weeks ago
- Catalog Of Math Problems Formalized In Lean☆139Updated this week
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆27Updated 3 years ago
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆54Updated last week
- Lean documentation authoring tool☆144Updated this week
- A (WIP) equality saturation tactic for Lean based on egg.☆56Updated this week
- An introduction to theorem proving in Lean for the impatient.☆146Updated this week
- Theorem Proving in Lean 4☆173Updated 4 months ago
- Try a tactic at each step in a Lean proof.☆25Updated last week
- Natural language tactics to teach mathematics using Lean 4☆65Updated this week
- tool for turning Lean proofs into Blender animations☆60Updated last month
- Source code for the Mathematics in Lean tutorial.☆123Updated last week
- ☆238Updated last week
- Formalizing "Proofs from THE BOOK"☆57Updated 3 months ago
- Formalization of Mathematical Logic☆102Updated this week
- Lean 4 formalization of Rubik's cubes☆28Updated 3 weeks ago
- Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…☆73Updated last month
- 💧 Liquid Tensor Experiment☆189Updated last year
- Formalizing results about the Mandelbrot set in Lean☆20Updated 4 months ago
- Leaff is a diff tool for Lean environments☆15Updated last month
- Experiments in automation for Lean☆93Updated last week
- The Lean 4 web editor☆84Updated this week
- The Slate Interactive Theorem Prover☆24Updated 2 years ago