Mollusc: A General Proof-Development Shell for Sequent-Based Logics.

Bradley L. Richards, Ina Kraan, Alan Smaill, Geraint A. Wiggins

Browse the full CADE paper archive.