丁超(DING Chao)'s repositories
Mathematical_Logic_NJUCS
南京大学计算机系数理逻辑课程资料
NJU_Com_Models
《计算模型导引》第五章参考答案
ShangMi_Coq
Coq formalization of SM2, SM3 and SM4.
Language:CoqGPL-3.0000
Smoothieware
Modular, opensource, high performance G-code interpreter and CNC controller written in Object-Oriented C++
Language:C++GPL-3.0000
VST
Verified Software Toolchain
Language:CoqNOASSERTION000