Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).
Primary LanguageCoq
No issues in this repository yet.