Remix clone Hacker News
new
|
show
|
ask
|
jobs
Github
▲
The extended predicative Mahlo universe in Martin-Löf type theory
(
academic.oup.com
)
1 points
by
danny00
8 hours ago
