Bio
Undergraduate student at the University of North Texas, majoring in mathematics.
Current Project
Since June 1st 2026, my current project has been an investigation into Elementary Geometry, along with formalizing Tarski’s axioms in the proof-assistant MetaMath.
The notes can be found here.
The formalization can be found here.
Website
This is my attempt at a good looking website giving math notes in a format that resembles formal mathematics. The goal is to have each section start with a list of axioms, and build them into some subject. Along with this some miscellaneous math projects, like my preparation for the integration bee, will be hosted here!