What belongs here

Each article handles one mathematical question. Concept notes connect a definition to examples. Proof notes expose the step carrying the argument. Problems focus on strategy and failed approaches. Notebook entries hold work that has not settled yet.

How the archive is organized

Analysis, algebra, geometry, probability, and combinatorics provide broad coordinates. Series and prerequisites record the useful connections between individual articles.

Corrections

The source, article history, and deployment process are public in the Maddy repository. Open an issue when a statement lacks a hypothesis or a proof can be made cleaner.