The 51-state beeper $M_{51}$: every battle ends, and what Peano Arithmetic can prove about it

Contributed by Annanay Kapila

Source files

Download source .zip

Back to the main record