Machine Obstructed Proof (Abstract)

  • Nick Benton

BibTexをダウンロード

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