Project Lana attempts to formalize hard to understand UIT in Lean

(anabelian.org) by ur-whale | Aug 7, 2026 | 0 comments on HN