MATHEMATICS / LANDING PAGE

Arguments,
carefully made.

Formal arguments, mathematical ideas, and useful references—with a growing proof archive at the center.

THEOREMS, NOTES, AND REFERENCES

MATHEMATICS / START HERE

Read the
proofs.

The native proof archive keeps every public argument readable, searchable, and linked to its source PDF.