mathbase
Proof-focused learning for serious students

Master mathematical proofs step by step

mathbase takes you from “I kind of get it” to writing clean, rigorous proofs — through short lessons, structured practice, and AI-assisted feedback.

Designed for AMC / AIME / olympiad-track & proof-based courses
Built for LaTeX, Google Docs, or handwritten PDFs
Sample proof snippetDirect proof · Number theory

Statement.

If n is even, then is even.

Proof sketch.

Assume n is even. Then n = 2k for some integer k.

Squaring gives n² = 4k² = 2(2k²), which is divisible by 2.

Therefore n² is even. ▢

On mathbase you’ll turn sketches like this into fully rigorous proofs — with guided structure and feedback at each step.

1 · Learn

Short, focused modules introduce each proof idea with examples and TL;DR summaries.

2 · Practice

Solve carefully chosen proof problems and compare with model solutions when you’re ready.

3 · Publish

Upload LaTeX, Google Docs, or handwritten PDFs and later route them into peer review.

Choose your branch

After the core track, specialize in the areas that match your contests or courses.

Branch AComing online module by module

Number Theory

Divisibility, modular arithmetic, primes, and Diophantine equations — the heart of contest math.

You’ll be able to solve problems here and submit full write-ups for review.

Branch BComing online module by module

Combinatorics

Counting principles, permutations, invariants, and classic olympiad-style problems.

You’ll be able to solve problems here and submit full write-ups for review.

Branch CComing online module by module

Graph Theory

Vertices, edges, trees, cycles, and colorings — the discrete language of modern math.

You’ll be able to solve problems here and submit full write-ups for review.