Geeks
L-TChen
/
FiniteSets
Fintie Sets in Cubical Agda
Primary Language
Agda
FiniteSets GitHub
Markdown
Readme
0
Issues
12
Stargazers
3
Watchers
Stargazers
anqurvanillapy
@Shopee
borsiemir
Amsterdam
co-dan
Groningen
dannypsnl
@second-state
nmvdw
oisdk
Cork, Ireland
omelkonian
University of Edinburgh
philzook58
Draper
rwe
Seattle, WA
scott-fleischman
shhyou
Taipei, Taiwan