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