Giters
hopv
/
r_type
A model-checker for caml programs.
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
13
Watchers:
4
Issues:
1
Forks:
2
hopv/r_type Issues
Bug in the treatment of functions returning Booleans
Closed
3 years ago
Comments count
3