モナド的等式推論に関する発表（＠TPP2021）
斉藤がThe 17th Theorem Proving and Provers meeting (TPP 2021)にてモナド的等式推論に関するスライド発表をしました。
- 斉藤歩夢, Reynald Affeldt. 定理証明支援系Coqでのモナドを用いたクイックソートの形式化とMonaeの拡張
斉藤がThe 17th Theorem Proving and Provers meeting (TPP 2021)にてモナド的等式推論に関するスライド発表をしました。