Formalization of Euclidean Geometry via Hilbert’s Axioms (Poster)
Authors: Mark Sandey, Harry Stoltz, Sudhir Murthy. Faculty mentor: Patricio Gallardo Candela.
Authors: Mark Sandey, Harry Stoltz, Sudhir Murthy. Faculty mentor: Patricio Gallardo Candela.