Coq中文教程.tgz

[{"title":"（ 174 个子文件 3.35MB ） Coq中文教程.tgz","children":[{"title":"ProofObjects.html <span style='color:#111;'> 83.88KB </span>","children":null,"spread":false},{"title":"_CoqProject <span style='color:#111;'> 8B </span>","children":null,"spread":false},{"title":"PrefaceTest.v <span style='color:#111;'> 1.58KB </span>","children":null,"spread":false},{"title":"slides.js <span style='color:#111;'> 3.67KB </span>","children":null,"spread":false},{"title":"toggleproofs.js <span style='color:#111;'> 618B </span>","children":null,"spread":false},{"title":"......","children":null,"spread":false},{"title":"<span style='color:steelblue;'>文件过多，未全部展示</span>","children":null,"spread":false}],"spread":true}]