Type Theory (As a Foundation of Math)en.wikipedia.org4 points·deterministic··0 commentsOpen articleSaveView on HN