MacKE: Yet Another Proof Assistant & Automated Pedagogic Tool.

Jeremy V. Pitt

Browse the full TABLEAUX paper archive.