共计 534 篇文章

---

2020

Coq学习——《Software-Foundation》Volume1.4-Poly 11-02 《对青年数学家的建议》摘录的摘录 10-30 Coq学习——《Software-Foundation》Volume1.3-Lists 10-28 Coq学习——《Software-Foundation》Volume1.2-Induction 10-27 Coq学习——《Software-Foundation》Volume1.1-Basic 10-26 形式化方法——Proofs-and-Algorithms-Part1 10-21 OCaml学习——Configuration-for-merlin 10-20 Coq学习——《Software-Foundation》Volume1.0-Preface 10-16 Coq学习——Proof-General使用 10-16 OCaml学习——OCaml-Code-Problems 10-15