Mark Aagaard

Theorem Proving in Higher Order Logics