Back to Results
First PageMeta Content
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

Document Date: 2015-09-15 04:31:52

Open Document

File Size: 757,69 KB

Share Result on Facebook