Y
Hacker News
new
|
ask
|
show
|
jobs
Introduction to Univalent Foundations of Mathematics with Agda
(
martinescardo.github.io
)
3 points
by
panic
235 days ago