GitHub repository: Georjez/infinity-cosmos
Description: A blueprint for a formalization of infinity-cosmos theory in Lean.