coq.md

Bookmarks tagged [coq]

^{www.bookmarks.dev/tagged/coq}

zeimer.github.io (Programowanie Funkcyjne)

^{https://zeimer.github.io}

• tags: free-programming-books, coq, free-programming-books-pl

---

ソフトウェアの基礎

^{http://proofcafe.org/sf/}

Benjamin C. Pierce, Chris Casinghino, Michael Greenberg, Vilhelm Sjöberg, Brent Yorgey, 梅村晃広(翻訳), 片山功士(翻訳), 水野洋樹(翻訳), 大橋台地(翻訳), 増子萌(翻訳), 今井宜洋(翻訳)

• tags: free-programming-books-ja, free-programming-books, coq

---

Le Coq'Art (V8)

^{http://www.labri.fr/perso/casteran/CoqArt/}

Yves Bertot et Pierre Castéran

• tags: free-programming-books, coq, free-programming-books-fr

---

Software Foundations

^{http://www.cis.upenn.edu/~bcpierce/sf/}

• tags: free-programming-books, coq

---

Certified Programming with Dependent Types

^{http://adam.chlipala.net/cpdt/html/toc.html}

• tags: free-programming-books, coq

---