HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
The new tactic engine of Coq 8.5
coqhott.gforge.inria.fr
3 points
clarus
10 years ago
No comments
Threaded
Loading comments...
The new tactic engine of Coq 8.5 | Heykuki News