finite-sets topic
List
finite-sets repositories
extructures
30
Stars
6
Forks
Watchers
Finite sets and maps for Coq with extensional equality
