论文:在Coq中规范化行编辑器,Paper: Formalizing line editors in Coq, (2020-06-10, TeX, 0KB, 下载0次)
Coq.中编辑器端元编程的文档(TeX、幻灯片等)和代码。,Documents (TeX, slides etc.) and code for the editor side metaprogramming in Coq., (2019-06-28, TeX, 0KB, 下载0次)