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