45 citations · 56 across the 9 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
math.LO2024
Geometric theories for real number algebra without sign test or dependent choice axiom
Henri Lombardi, Assia Mahboubi
In this memoir, we seek to construct a constructive theory that is as complete as possible to describe the algebraic properties of the real number field in constructive mathematics…
cs.LO2024
Machine-Checked Categorical Diagrammatic Reasoning
Benoît Guillemet, Assia Mahboubi, Matthieu Piquerez
This paper describes a formal proof library, developed using the Coq proof assistant, designed to assist users in writing correct diagrammatic proofs, for 1-categories. This librar…