Geeks
ia0
/
fcc
Coq formalization of System Fcc (coercion framework)
Primary Language
Coq
fcc Home Page
fcc GitHub
Markdown
Readme
0
Issues
3
Stargazers
2
Watchers
Watchers
eemailme
ia0
@google