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 fixes #3334

Closed mtzguido closed 6 days ago

mtzguido commented 6 days ago

Most importantly a fix for checked files after #3330