[{"title":"( 7 个子文件 5KB ) coq-to-lisp:Coq 到 Emacs Lisp 通用 Lisp 提取-源码","children":[{"title":"coq-to-lisp-master","children":[{"title":"example.v <span style='color:#111;'> 271B </span>","children":null,"spread":false},{"title":"unscheme-impl.scm <span style='color:#111;'> 2.93KB </span>","children":null,"spread":false},{"title":"unscheme.scm <span style='color:#111;'> 175B </span>","children":null,"spread":false},{"title":"README.md <span style='color:#111;'> 744B </span>","children":null,"spread":false},{"title":"test.lisp <span style='color:#111;'> 348B </span>","children":null,"spread":false},{"title":"macros_extr.lisp <span style='color:#111;'> 3.05KB </span>","children":null,"spread":false},{"title":"macros_extr.el <span style='color:#111;'> 2.16KB </span>","children":null,"spread":false}],"spread":true}],"spread":true}]