Geeks
interval-kinds
There are 1 repositories under interval-kinds topic.
sstucki/
f-omega-int-agda
F-omega with interval kinds mechanized in Agda
Language:
Agda
13
2
0
3