emilyriehl / infinity-cosmosLinks
A blueprint for a formalization of infinity-cosmos theory in Lean.
☆82Updated last week
Alternatives and similar repositories for infinity-cosmos
Users that are interested in infinity-cosmos are comparing it to the libraries listed below
Sorting:
- ☆91Updated this week
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆60Updated last week
- Document Generator for Lean 4