search

FStarLang / FStar

A Proof-oriented Programming Language
https://www.fstar-lang.org
Apache License 2.0
2.65k stars 232 forks source link

Misc tactics and debugging improvements #3300

Closed mtzguido closed 1 month ago