Tech article

The extended predicative Mahlo universe in Martin-Löf type theory

Latest tech news from Hacker News on NeuralNews: The extended predicative Mahlo universe in Martin-Löf type theory.

Hacker News | May 3, 2026 | danny00

Read the original article