emilyriehl / infinity-cosmosLinks

A blueprint for a formalization of infinity-cosmos theory in Lean.
64Updated this week

Alternatives and similar repositories for infinity-cosmos

Users that are interested in infinity-cosmos are comparing it to the libraries listed below

Sorting: