Back to Results
First PageMeta Content
Software engineering / Software / Proof assistants / Theoretical computer science / Functional languages / Automated theorem proving / Logic in computer science / Nunchaku / Isabelle / HOL / Coq / Kepler conjecture


Engineering Nunchaku: A Modular Pipeline of Codecs Simon Cruanes 28th of June, 2016 Simon Cruanes
Add to Reading List

Document Date: 2016-06-28 05:58:53


Open Document

File Size: 552,57 KB

Share Result on Facebook