Geeks
thery
/
PolTac
Tactic for polynomial manipulations
Primary Language
Coq
PolTac GitHub
Markdown
Readme
1
Issue
10
Stargazers
2
Watchers
Watchers
eemailme
thery
INRIA