Back to Results
First PageMeta Content
Software engineering / Computer programming / Programming language theory / Functional languages / Functional programming / Procedural programming languages / Mathematical proof / Coq / OCaml / Natural deduction / Mathematical logic / ALGOL 68


FoCaLiZe! Programming and Proving! A Bit Under the Hood François Pessaux - ENSTA ParisTech (U2IS)
Add to Reading List

Document Date: 2014-04-14 11:22:28

Open Document

File Size: 1,03 MB

Share Result on Facebook