Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).
No resources for this project.