Back to Results
First PageMeta Content



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

Document Date: 2018-08-01 14:49:25


Open Document

File Size: 757,69 KB

Share Result on Facebook
UPDATE