/coq-extensible-records

Implementation of extensible records in Coq

Primary LanguageCoqMIT LicenseMIT

Stargazers