Method
Understand before automating.
Every theorem begins with its ambient structure, hypotheses, and conclusion. Formal verification is a further discipline, not a replacement for mathematical understanding.
Mathematical foundations
Study first.
Formalize later.
A reading-first journey through logic, sets, algebraic structures, ordered fields, proofs, and the mathematics of analysis. Learn the statement, understand its dependencies, reconstruct the argument, then formalize it.
Explore
Resources & research
Selected public work and source materials.
Reference
Ordered-field axioms
The field and order axioms, derived algebraic and order theorems, and completeness in one structured reference.
Read reference →Flashcards
Foundations review deck
Version-controlled JSON cards progressing from notation to proof reconstruction. Interactive review is not yet published.
View cards →Logic
Logic reading guide
A reading path through mathematical language, syntax, inference, proofs, and structures.
Explore reading guide →Explore theorem dependencies and proof relationships in the standalone interactive application.
Explore the graph →