Giters
GaloisInc
/
entree-specs
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
2
Watchers:
13
Issues:
3
Forks:
GaloisInc/entree-specs Issues
Build failure with `coq-itree.5.2.0`
Closed
2 months ago
Update Proof Automation
Updated
5 months ago
Compilation error with Coq 8.16.0
Updated
2 years ago