SignetsShaared links2021-09-10T17:13:24+02:00Signetshttps://signets.delab.re/https://signets.delab.re/ShaarliThéorie des types dépendants et axiome d’univalencehttps://signets.delab.re/shaare/4adPkQ2020-09-14T13:19:39+02:002021-09-10T17:13:24+02:00— Permalink]]>