arthuraa / extructures

Finite sets and maps for Coq with extensional equality

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

arthuraa/extructures Stargazers