Formalizing Some "Small" Finite Models of Projective Geometry in Coq.

David Braun, Nicolas Magaud, Pascal Schreck

Browse the full AISC paper archive.