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 ListSource URL: xavierleroy.orgDownload Document from Source WebsiteFile Size: 757,69 KBShare Document on Facebook |