/extructures

Finite sets and maps for Coq with extensional equality

Primary LanguageCoqMIT LicenseMIT

Watchers