XBarnacle: Making Theorem Provers More Accessible.

Helen Lowe, David Duncan

Browse the full CADE paper archive.