generated at
2/16/2025, 5:30:38 PM
証明論
証明の道具
自然演繹
シークエント計算
http://domuslogica.net/archives/2020/20200927_matsumoto.pdf