Software Foundations edit / delete

Practical proof in programming; based on Coq. Full text of the book available online.

to coq correctness proof teaching ... on 10 February

Browser bookmarks: tasty+ | tasty= Log in | Export | Atom

Tags related to coq

- coq
 
1 + correctness
1 + proof
1 + teaching