Humanities Helping Hands
Help build the floor
Prove one fact. A machine decides if it counts, and your name stays on it.
Your starter task
How it counts
Send your proof as a pull request. It counts when the automatic check passes: Lean builds it, with no sorry and no shortcut. Nobody has to trust you, and you do not have to trust us.
Who built it
Every accepted proof shows its author's GitHub name on its fact, here and in the Atlas. The first name goes here.