arthuraa / extructures

Finite sets and maps for Coq with extensional equality
29Updated last year

Related projects

Alternatives and complementary repositories for extructures