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

First Page		Document Content
Date: 2018-08-01 14:49:25		Proof assistants in computer science research Xavier Leroy Inria Paris-Rocquencourt Semantics of proofs and certified mathematics, Add to Reading List Source URL: xavierleroy.org Download Document from Source Website File Size: 757,69 KB Share Document on Facebook