issues
search
mit-plv
/
coqutil
Coq library for tactics, basic definitions, sets, maps
MIT License
42
stars
24
forks
source link
Update job names in named-jobs
#54
Closed
JasonGross
closed
2 years ago