使用Coq（和其他正式工具）构建一个正式验证的Nand 2俄罗斯方块课程的教育版本。Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools). (2021-12-24, Coq, 68KB, 下载0次)