Active
Recent
Comments
Search
Login
Login
11
The Hardest Problem in Type Theory [Uniqueness of Identity Proofs]
video
math
plt
youtube.com
via
river
1 year ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
no comments
0