書くネタがCoqしかない
ご静聴ありがとうございました
Re永続データ構造が分からない人のためのスライド
Proving Decidability of Intuitionistic Propositional Calculus on Coq
Spaceships 解説
Coqでsprintf
joi2012-sp-day2-broadcasting
いろいろな問題の解説
永続データ構造が分からない人のためのスライド
Examination of the optimal temporal resolution required for computed tomography coronary angiography
Coqの公理