/type-infer

A Formal Verification of Algorithm W

Primary LanguageCoqMIT LicenseMIT

Stargazers