search

FStarLang / FStar

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

reflection: fix extraction for quoted real literals #3340

Closed mtzguido closed 3 days ago