Giters
JasonGross
/
coq-scripts
Various useful scripts for dealing with Coq files
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
8
Watchers:
4
Issues:
5
Forks:
6
JasonGross/coq-scripts Issues
strictify-coqdep should not call python2
Closed
5 years ago
Comments count
4
Use of VectorDef in compat files breaks extraction
Closed
5 years ago
Comments count
1
detached head
Closed
7 years ago
strictify-coqdep.py should explicitly use python2
Closed
9 years ago
timing scripts should detect failure of 'git checkout'
Closed
10 years ago
Comments count
2