Proof assistants in computer science research Xavier Leroy Inria Paris-Rocquencourt Semantics of proofs and certified mathematics,

First Page		Document Content
Date: 2015-09-15 04:31:52 Programming language theory Formal methods POPLmark challenge Mathematical proof Programming language semantics Logic in computer science Proof theory		Proof assistants in computer science research Xavier Leroy Inria Paris-Rocquencourt Semantics of proofs and certified mathematics, Add to Reading List Source URL: pauillac.inria.fr Download Document from Source Website File Size: 757,69 KB Share Document on Facebook