Our top priority is always the safety and well-being of our students. Given the COVID-19 pandemic, we can no longer hold our in-person residential program for 2020 as originally planned. Instead, in order to do our part as we all navigate this crisis together, the Prove it! team will be offering a free online program this summer.

All spots are currently filled and we are no longer accepting additional applications. You can find information about additional summer math programs at the AMS website.

Congratulations to all twelve Prove it! Math Academy graduates in the class of 2020. You clearly showed your enthusiasm and talent for mathematics and now you can Prove it!

2020 Prove it! Math Academy Photo Album

Next up… USAMTS!

Prove the following using only the rules of natural deduction for predicate logic given in the lecture notes. Your proof should be written in the formal proof style. You can use Lurch to check your proofs. If you finish these and want more practice there are more problems in the lecture notes you can try. Feel free to ask an instructor for help if you get stuck.

Prove the following using only the rules of natural deduction for propositional logic given in the lecture notes. Your proof should be written in the formal proof style. You can use Lurch to check your proofs. If you finish these and want more practice there are more problems in the lecture notes you can try. Feel free to ask an instructor for help if you get stuck.

Welcome to Prove it! Math Academy 2020. We will post announcements and other information here. Check back often for the latest updates!