/stlc-norm

Proof that STLC is normalizing in Fstar

Primary LanguageCoqApache License 2.0Apache-2.0

Watchers