issues
search
FStarLang
/
steel
The Steel separation logic library for F*
Apache License 2.0
31
stars
5
forks
source link
Retargeting pledges to work over unobservable steps
#153
Closed
mtzguido
closed
10 months ago