コミックマーケット82参加情報

サークル名
Stricter.org
配置
2日目 西し-31a
頒布物
Coq による定理証明 - Coq でスタック指向プログラミング