Signets
Signets
Tag cloud
Picture wall
Daily
RSS Feed
Login
Delete
Set public
Set private
Remember me
455
shaares
455
shaares
Filters
Links per page
20
50
100
1 result tagged
maths/foundation
Théorie des types dépendants et axiome d’univalence
maths/foundation
·
programming/proof
September 14, 2020 at 1:19:39 PM GMT+2 * ·
permalink
·
http://www.cse.chalmers.se/~coquand/paperbourbaki.pdf
Filters
Links per page
20
50
100
Fold
Fold all
Expand
Expand all
Are you sure you want to delete this link?
The personal, minimalist, super-fast, database free, bookmarking service by the Shaarli community