Academic + life + products

Frankie Wang

I work across mathematics, formal methods, and thoughtful software products. This site collects research notes, personal writing, and small products in one place.

View products Read academic work

Academic

Research notes, formalization, and learning systems.

Research

Algebra and formalization

Notes and experiments around algebraic number theory, Lean, and rigorous mathematical tooling.

Writing

Readable technical notes

Long-form explanations that make hard ideas easier to revisit, share, and improve.

Teaching

Study systems

Reusable summaries, problem workflows, and reference material for focused learning.

Life

Personal fragments that keep the technical work human.

Cafe work sessions, city walks, and quiet routines.
Reading lists that mix mathematics, systems, design, and biography.
Small travel notes and photos from places worth remembering.

Products

Small products in progress.

All products

Learning tool Prototype

Lean Study Kit

A structured workspace for turning theorem-proving notes into repeatable practice.

Knowledge system Design

Research Homebase

A personal research dashboard for papers, notes, tasks, and open questions.

Habit product Exploration

Daily Proof

A calmer daily practice loop for math problem solving and proof writing.