Pages that link to "Item:Q3559773"

The following pages link to Formalizing Hilbert’s Grundlagen in Isabelle/Isar (Q3559773):

Displaying 2 items.

• The area method. A recapitulation (Q437042) (← links)
• Two cryptomorphic formalizations of projective incidence geometry (Q2631964) (← links)