Richard J. Boulton

• A tool to support formal reasoning about computer languages
• Theorem Proving in Higher Order Logics