amog.fun∘

Achievements

Results proved across the Institute's objects. They're kept in this browser, so the only referee is your conscience. Locked ones show what to prove; the math behind each one appears once you've proved it.