Geeks
palmskog
/
chip
Change impact analysis in Coq and OCaml
Primary Language
Coq
MIT License
MIT
chip Home Page
chip GitHub
Markdown
Readme
1
Issue
3
Stargazers
3
Watchers
Watchers
eemailme
jhcloos
palmskog
KTH Royal Institute of Technology