http://ptival.github.io [email protected]
Galois, Inc. Portland, OR Programming Languages and Software Verification
Valentin Robert
PeaCoq is a pretty Coq, isn't it?
Ptival
