A serious text, and a personalized way to learn it.
Our training material covers formal mathematics, proof assistants like Lean, and the applied mathematics behind scientific and engineering modeling — from first principles through frontier practice. It will be available in two complementary formats.
1. The chapter-by-chapter text
Read the full reference sequentially, chapter by chapter — a traditional, deeply structured text with worked derivations, formal Lean proofs, and rendered mathematics, designed for focused, linear study.
2. The interactive, LLM-guided path
Sign in with your favorite LLM — ChatGPT, Claude, or Gemini — and have proofs and derivations broken down interactively as you grow. The pace, depth, and examples adapt to where you are, while staying grounded in the same underlying text.
Personalized training, coming soon
We plan to offer Google sign-in and subscription-based access for a fully personalized training experience — progress tracking, saved notes, and tailored pacing across both learning formats. Details will appear here as they're ready.
Built for real mathematics, not just prose.
The training platform renders LaTeX natively, so definitions and derivations read exactly as they would in a paper or textbook.
For example, a metric space requires the triangle inequality to hold for all points :
And a first-order optimality condition for a smooth, unconstrained objective at a minimizer :
Want to be notified when training material launches?
Reach out and we'll keep you posted as chapters and the interactive learning path become available.