Math

The unsorry swarm proves theorems. Climb the leaderboard by contributing verified proofs to the Math corpus.

Top contributors ranked by difficulty-weighted verified proofs.

Flagship targets with per-prize leaderboards, podiums, and badges.

Highlighted proofs from the Math corpus.

Proofs and contributors, visualised.

In-flight proving work waiting to merge.