Bruno Barras. Sets in Coq, Coq in Sets. J. Formalized Reasoning, 3(1):29-48, 2010. [doi]
@article{Barras10, title = {Sets in Coq, Coq in Sets}, author = {Bruno Barras}, year = {2010}, doi = {10.6092/issn.1972-5787/1695}, url = {http://dx.doi.org/10.6092/issn.1972-5787/1695}, researchr = {https://researchr.org/publication/Barras10}, cites = {0}, citedby = {0}, journal = {J. Formalized Reasoning}, volume = {3}, number = {1}, pages = {29-48}, }