arthuraa / extructuresLinks

Finite sets and maps for Coq with extensional equality
30Updated 5 months ago

Alternatives and similar repositories for extructures

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

Sorting: