arthuraa / extructuresLinks

Finite sets and maps for Coq with extensional equality
30Updated 2 weeks ago

Alternatives and similar repositories for extructures

Users that are interested in extructures are comparing it to the libraries listed below

Sorting: