Proofset
An iOS app that converts handwritten math to LaTeX.
Coming soon to the App Store.
Formalization of Euclidean Geometry via Hilbert’s Axioms (Poster)
Authors: Mark Sandey, Harry Stoltz, Sudhir Murthy. Faculty mentor: Patricio Gallardo Candela.