Machine Obstructed Proof (Abstract)

  • Nick Benton

Download BibTex

Describes the experience of a novice user of the Coq proof assistant.