Coq (Art)のわからないメモ
教科書系
Computation and Logic: Winter Semester 2021
Excerciseのやりかた回答集
大学
Inductive Data Structures
ソース検索
GitHub - coq-community/coq-art: Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
Varnacular
Implicit Arum