Logic-Independent Proof Search in Logical Frameworks - (Short Paper).

Michael Kohlhase, Florian Rabe, Claudio Sacerdoti Coen, Jan Frederik Schaefer

Browse the full CADE paper archive.