Giters
agda
/
agda-uhc
UHC backend for Agda
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
4
Watchers:
30
Issues:
6
Forks:
1
agda/agda-uhc Stargazers
Andrés Sicard-Ramírez
asr
Brendan Zabarauskas
brendanzab
quewean
Tim Kersey
tkersey
