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 Stargazers
Aaron Gray
AaronNGray
Paolo G. Giarrusso
Blaisorblade
bpalmeida
Oliver Bračevac
bracevac
Chris Pressey
cpressey
EDJ
DKXXXL
ebigram
ebigram
Graydon Hoare
graydon
Guannan Wei
Kraks
Orestis Melkonian
omelkonian
jadon fowler
phase
Scott Fleischman
scott-fleischman
Solomon
solomon-b