proof theory

(see also y-proof)

🥕

$1 /game

Input username + contest(s):