Giters
AndrasKovacs
/
sett
Setoid type theory implementation
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
38
Watchers:
11
Issues:
2
Forks:
AndrasKovacs/sett Issues
Unification error
Closed
2 years ago
Properly handling trailing newline
Closed
2 years ago
Comments count
1