No results found

InfinityCosmos

A blueprint for a formalization of infinity-cosmos theory in Lean.