Software Foundations

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

to coq correctness proof teaching ... on 10 February 2017

Tags related to coq

- coq
 
2 coq
2 correctness
1 formal-verification
1 functional
1 haskell
1 proof
1 teaching