#HoTT : théorie homotopique des types une révolution des mathématiques ?

Advertisements