Giters
VictorTaelin
/
Interaction-Type-Theory
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
96
Watchers:
9
Issues:
2
Forks:
6
VictorTaelin/Interaction-Type-Theory Issues
Coherence ignores important checks
Closed
10 months ago
Comments count
14
Status?
Closed
7 months ago
Comments count
1