Gitstar Ranking

input-output-hk / agda-sets

An abstract set theory library that can be instantiated in various ways - View it on GitHub
https://input-output-hk.github.io/agda-sets/
Star
4
Rank
2827041