nand2coq
Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).
54 stars
7 watching
3 forks
Language: Coq
last commit: almost 3 years ago coqformal-methodsfpganand2tetris
Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).