/EminenceProver

A theorem prover for proof-theoretic higher order modal logic

Primary LanguageC++

Issues