Project Lana attempts to formalize hard to understand Mochizuki's IUT in Lean

• Posted 2 hours ago by ur-whale
• 2 points