2 search results - page 1 / 1 » Bugs in the proofs of revelation principle |
34
Voted
CORR
2010
Springer
15 years 23 days ago
2010
Springer
200
click to vote
ICFP
2009
ACM
16 years 1 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...