nand2coq
nand2coq copied to clipboard
Published
20 hours ago •
philzook58
philzook58
Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).
Results
2
nand2coq issues
Sort by
recently updated
recently updated
newest added
apart from formatting issues that impact its readability (which I'll gladly help with), it leaves some questions to be answered, for example it states that coq **and other formal tools**...
Metadata
53
Stars
3
Forks
Watchers
Owner
Metadata
Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).