Description
This artifact contains the F* development of the Steel framework presented in the corresponding ICFP 21 paper
Assets
Read Me (icfp21main-p127-p-Artifact-accepted-readme.txt)
Artifact (icfp21main-p127-p-Artifact-accepted.zip)
Provenance
https://github.com/FStarLang/FStar
License
Comments
-
Author Tags
Copyright
Author(s)
