The Nest
Explore
Sign in
finegeometer
atari-proofs
theories
0
Code
Changes
Tags
Discussions
main
finegeometer
State the theorem!
on March 22, 2022
atari.v
Implement specification of Atari 2600 console.
on March 22, 2022
dragster.v
State the theorem!
on March 22, 2022
goal.v
State the theorem!
on March 22, 2022
memory.v
State the theorem!
on March 22, 2022
nondeterminism.v
Implement specification of Atari 2600 console.
on March 22, 2022
peripherals.v
Implement specification of Atari 2600 console.
on March 22, 2022
word.v
Implement specification of Atari 2600 console.
on March 22, 2022