Geeks
HilpAlex
HilpAlex Home
HilpAlex GitHub
1
Repo
0
Stars
2
Followers
2
Following
Pinned Repositories
cubical
An experimental library for Cubical Agda
Language:
Agda
437
28
239
134
cubical
An experimental library for Cubical Agda
Language:
Agda
0
0
HilpAlex's Repositories
HilpAlex/
cubical
An experimental library for Cubical Agda
Language:
Agda
0
0