input-output-hk/agda-sets
View on GitHubAn abstract set theory library that can be instantiated in various ways
- Stars
- 5
- Forks
- 2
- Open beginner issues
- 0
- Indexed issues
- 7
- Dominant language
- Agda
- License
- No license data
- Last GitHub push
- Feb 18, 2026
- Latest indexed
- Sep 17, 2026
- Contributing guide
- No contributing guide
- Code of conduct
- No code of conduct
- Beginner labels
- No beginner labels indexed
- PR merge metrics
- No merged PRs in 30d
-
input-output-hk/agda-sets#1 · 0 comments · 0 reactions · 0 assignees ·
-
input-output-hk/agda-sets#2 · 0 comments · 0 reactions · 0 assignees ·
-
input-output-hk/agda-sets#3 · 0 comments · 0 reactions · 0 assignees ·
-
input-output-hk/agda-sets#4 · 0 comments · 0 reactions · 0 assignees ·
-
input-output-hk/agda-sets#5 · 0 comments · 0 reactions · 0 assignees ·
-
input-output-hk/agda-sets#6 · 0 comments · 0 reactions · 0 assignees ·
-
input-output-hk/agda-sets#26 · 1 comment · 0 reactions · 0 assignees ·