search

FStarLang / FStar

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

Advance to 2024.09.05~dev #3444

Closed dzomo closed 3 weeks ago

mtzguido commented 3 weeks ago

If this comes back green I will merge and trigger a release.

https://github.com/FStarLang/FStar/actions/runs/10723943070