Machine Obstructed Proof (Abstract)

  • Nick Benton

Télécharger BibTex

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