activity
20212024
most citedMechanization of Incidence Projective Geometry in Higher Dimensions, a Combinatorial Approach

2 citations · 3 across the 5 of their papers we have counts for

collaborators
Showing 2024Show all

1 paper · 1 filter

cs.LO2024

Towards Automatic Transformations of Coq Proof Scripts

Nicolas Magaud

Proof assistants like Coq are increasingly popular to help mathematicians carry out proofs of the results they conjecture. However, formal proofs remain highly technical and are es…