yoshihiro503/coq_propositional_logic

coq_propositional_logic - Definition of minimum normalform on propositional logic