FStarLang / FStar

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

Introduce FStar.RefinementExtensionality #3299

Closed mtzguido closed 1 month ago

mtzguido commented 1 month ago

I've had a need for this a couple of times, so I thought it's best to add it to the library.