FStarLang / steel

The Steel separation logic library for F*
Apache License 2.0
31 stars 5 forks source link

Fix Steel tactic for recent F* changes #169

Closed mtzguido closed 7 months ago