Hacker GitHub

← All repos

michaelt/martin-lof

View on GitHub ↗ ★ 836 TeX

papers of Per Martin Löf

4 mentions on Hacker News by 2 people: 1 story, 3 comments · first 2019-07-12 · latest 2021-11-17

Mentions per year 4 mentions · busiest year 2021 (3)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 2
    A Path from Logic to Metaphysics – Per Martin-Löf, 1991 [pdf]
    story by AnthonBerg · 2021-05-21 · 1 comment