Project Lana attempts to formalize hard to understand Mochizuki's IUT in Lean
By ur-whale · 2026-08-07 · 2 points · 1 comments
https://anabelian.org/
By ur-whale · 2 points · 1 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews