The Proof Assistant as an Integrated Development Environment.

Nick Benton

Browse the full APLAS paper archive.