coq.md

July 15, 2021 · View on GitHub

Bookmarks tagged [coq]

www.codever.land/bookmarks/t/coq

zeimer.github.io (Programowanie Funkcyjne)

https://zeimer.github.io

ソフトウェアの基礎

http://proofcafe.org/sf/

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

Le Coq'Art (V8)

http://www.labri.fr/perso/casteran/CoqArt/

Yves Bertot et Pierre Castéran

Software Foundations

http://www.cis.upenn.edu/~bcpierce/sf/

Certified Programming with Dependent Types

http://adam.chlipala.net/cpdt/html/toc.html