Geeks
gkobele
Company:
Universität Leipzig
Location:
Leipzig, Germany
gkobele Home
gkobele GitHub
2
Repos
0
Stars
12
Followers
0
Following
Pinned Repositories
cooper-storage
Language:
Coq
2
0
decomposing-montague
Language:
Coq
3
1
gkobele's Repositories
gkobele/
decomposing-montague
Language:
Coq
3
1
gkobele/
cooper-storage
Language:
Coq
2
0