coq-intro

Coq 入門

Coq の入門的な事項（の一部）をネット上で拾ってきてまとめたスライドです。

スライド