emilyriehl / infinity-cosmosView on GitHub
A blueprint for a formalization of infinity-cosmos theory in Lean.
92Mar 23, 2026Updated this week

Alternatives and similar repositories for infinity-cosmos

Users that are interested in infinity-cosmos are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

Sorting:

Are these results useful?