Interactive Theorem Proving and Program Development

E2242510 UNEXPLORED

"Interactive Theorem Proving and Program Development" is a foundational book that introduces the use of the Coq proof assistant for formalizing mathematics and developing certified programs.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
Interactive Theorem Proving and Program Development canonical	1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Yves Bertot → notableWork → Interactive Theorem Proving and Program Development ⓘ