Formalizing the Enormous Theorem
Posted 2 hours ago by
DeepLogin
2
points
https://axiommath.ai/research/the-enormous-theorem-formalized/
0
comments