A Support System for Formal Reasoning: Requirements and Status.

Cliff B. Jones, Peter A. Lindsay

Browse the full FM paper archive.