State the theorem!
Created by  finegeometer  on March 22, 2022
NJNJOBP4TDPPOBAQ52CAXIY3HC6CIEDBYT3HZG4KU36HW3KWZDVAC
Implement specification of Atari 2600 console.
Created by  finegeometer  on March 22, 2022
3XT4NIINMDSDTALK46WDXSRSDZS7XTRJ7UP43JNFQB64XI6U3W2QC
Implement processor peripherals. Fix the missing proof in word.
Created by  finegeometer  on March 21, 2022
DGOX3ISBTC7HQKYLNHUFUOJMCIOICC2F4IHHPK6OR3LZOKQIWIXAC
Define the underlying word type.
Created by  finegeometer  on March 20, 2022
GA6XQIN5BJLEGXXMPHSBQJETK7AHPV5AH5KYWWUPO7B4A3KZYN4AC
Set up Coq project.
Created by  finegeometer  on January 26, 2022
GVKFJJTTO257PW7OYH7NMFNUY4QMUIXATMXVWTN7PDIFBSNZ3IYQC
Explain the basic idea.
Created by  finegeometer  on January 26, 2022
PPEVHPV3NUKUGSD2IQWYM6O42TKH3X55SCWED3C6FHNFJZ6GGBPQC
(no change message)
Created by   on January 26, 2022
TZDIPA5IECXHU2GOLOKCVKM5F3VDJGNX6YYNYV4B75LTP7T63MVAC