atari-proofs

The goal of this project is to formally prove a lower bound on the time it takes to beat the game Dragster.

So far, I have implemented a specification of the Atari 2600 console, and used it to state the theorem. Now I just have to prove it!

Of course, that’s easier said than done.