Skip to content

dagurtomas/infinity-cosmos

About

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

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Lean 53.2%
  • TeX 45.5%
  • HTML 0.7%
  • Ruby 0.2%
  • Batchfile 0.1%
  • Shell 0.1%
  • Other 0.2%