Mechanized soundness proofs for F*

fstar-coq-icfp-2011-2.tgz
File

Details

TypeMiscellaneous
> Publications > Mechanized soundness proofs for F*