Giters
sstucki
/
f-omega-int-agda
F-omega with interval kinds mechanized in Agda
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
13
Watchers:
2
Issues:
0
Forks:
3
sstucki/f-omega-int-agda Issues
No issues in this repository yet.