Next.js Hacker News
The extended predicative Mahlo universe in Martin-Löf type theory (2023)
28 points by danny00 2 days ago | discuss