Mechanized soundness proofs for F*

Pierre-Yves Strub, Cedric Fournet, and Nikhil Swamy

Details

Publication typeMiscellaneous
> Publications > Mechanized soundness proofs for F*