3 ms·
Project LANA ran into the same roadblock as Scholze and Stix, when they attempted to formalize the proof in Lean.
by zmgsabst 2mo ago
Project LANA ran into the same roadblock as Scholze and Stix, when they attempted to formalize the proof in Lean.