extructures
Finite sets and maps for Coq with extensional equality
30 stars
2 watching
6 forks
Language: Coq
last commit: 12 months ago coqfinite-setsmathcompssreflect
extructures Finite sets and maps for Coq with extensional equality