State the theorem!
Created by finegeometer on Mar 23, 2022, 1:59 AM
State:
CAMY5EEOEE3SGBLBF2CV5CNADZB7AXSQUJOVPWECBC5U6RCTPSBACImplement specification of Atari 2600 console.
Created by finegeometer on Mar 23, 2022, 12:53 AM
State:
HPBL6UTCJM7TUCVHHMEJMMFVH6FI33U6NPKKPUTXLBB5GJ4GPRZQCImplement processor peripherals. Fix the missing proof in word.
Created by finegeometer on Mar 21, 2022, 7:37 PM
State:
2WULC252OYWXVWZ4WJGGRHGQPSELP2FC2YAALIRTTQ3JJGHKSBGACDefine the underlying word type.
Created by finegeometer on Mar 20, 2022, 1:50 PM
State:
PCNZUCI7ZNND3PBBUO3OMMBLVNOCARWVXS57GCNIXOV2EY6JJGUACSet up Coq project.
Created by finegeometer on Jan 26, 2022, 7:43 PM
State:
6FUYFCJCDWPWQJBRONKFOP37Y6RJGOWDLU74S7Y7JKIZY43PFO3QCExplain the basic idea.
Created by finegeometer on Jan 26, 2022, 7:11 PM
State:
OMA4FKESNJWCEMKWVM7KRVBPQLEODHYL7MCVIFSQV6HY5QCGC22QCState:
C52K7QZEAXN5T2CY7T52SRKVIJRPMTNJSYFGDX5QXY4GMDQBXP6AC