Search Results - Mahboubi, Assia

Théories géométriques pour l'algèbre des nombres réels sans test de signe ni axiome de choix dépendant by Lombardi, Henri, Mahboubi, Assia

Get full text

Geometric theories for real number algebra without sign test or dependent choice axiom by Lombardi, Henri, Mahboubi, Assia

Get full text

Trocq: Proof Transfer for Free, With or Without Univalence by Cohen, Cyril, Crance, Enzo, Mahboubi, Assia

Get full text

Machine-Checked Categorical Diagrammatic Reasoning by Guillemet, Benoît, Mahboubi, Assia, Piquerez, Matthieu

Get full text

Compositional pre-processing for automated reasoning in dependent type theory by Blot, Valentin, Cousineau, Denis, Crance, Enzo, de Prisque, Louise Dubois, Keller, Chantal, Mahboubi, Assia, Vial, Pierre

Get full text