Proving Decidability of Intuitionistic Propositional Calculus on Coq

Ba655e3712aaabfbca289fe136f85fe4?s=47 Masaki Hara
January 31, 2013

Proving Decidability of Intuitionistic Propositional Calculus on Coq

直観主義命題論理の決定性をCoqで証明した話 @ Logic Zoo Workshop 2013 http://logiczoo13.pira.jp/

Ba655e3712aaabfbca289fe136f85fe4?s=128

Masaki Hara

January 31, 2013
Tweet