![](https://www.pdfsearch.io/img/9032eb46d82ccdfad5bfdd0dcf94e33f.jpg) 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 ListSource URL: xavierleroy.orgDownload Document from Source Website File Size: 757,69 KBShare Document on Facebook
|