Formalizing the Enormous Theorem

(axiommath.ai)

1 points | by gmays 4 hours ago ago