Chapter 16: Natural : proofs in natural language
Chapter 16:
Natural
: proofs in natural language
Yann Coscoy
16.1 Introduction
16.2 Activating
Natural
16.3 Customizing
Natural
16.4 Error messages
Retrieved by Memoweb from
http://pauillac.inria.fr/coq/doc/node.3.5.html
at 8/10/98