search

FStarLang / FStar

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

Make seal/unseal coercions #3459

Open mtzguido opened 3 weeks ago

mtzguido commented 3 weeks ago

Should be straightforward...