ZX Sketch
A web-based graphical editor for creating and manipulating ZX calculus diagrams.
Proofset
An iOS app that converts handwritten math to LaTeX.
Formalization of Euclidean Geometry via Hilbert’s Axioms (Poster)
Authors: Mark Sandey, Harry Stoltz, Sudhir Murthy. Faculty mentor: Patricio Gallardo Candela.