The Proof Olympiad is organized by the not-for-profit Institute for Formal Mathematics (IFM), created in July 2021 by Hunter Monroe. The IFM is dedicated to promoting the development and use of computer-based systems for formal proof and verification.
The Proof Olympiad is not associated with any other Olympiad.
Copyright © 2021 Proof Olympiad - All Rights Reserved.
Powered by GoDaddy
We use cookies to analyze website traffic and optimize your website experience. By accepting our use of cookies, your data will be aggregated with all other user data.