michaelt/martin-lof

papers of Per Martin Löf

2 best points · 1 comments · 1 Hacker News post · 835 GitHub stars · View on GitHub

Hacker News discussions

• A Path from Logic to Metaphysics – Per Martin-Löf, 1991 [pdf] (2 points, 1 comments, by AnthonBerg, 2021-05-21)