LISA - A Modern Proof System.

Simon Guilloud, Sankalp Gambhir, Viktor Kuncak

Browse the full ITP paper archive.