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