Openproof - A Flexible Framework for Heterogeneous Reasoning.

Dave Barker-Plummer, John Etchemendy, Albert Liu, Michael D. Murray, Nik Swoboda

Browse the full DIAGRAMS paper archive.