Nik compat injectivity - Githubissues

FStarLang / steel

The Steel separation logic library for F*

Apache License 2.0

31 stars 5 forks source link

Nik compat injectivity #171

Closed nikswamy closed 7 months ago

nikswamy commented 7 months ago

Compat options anticipating https://github.com/FStarLang/FStar/pull/3253