SpiceQA
Questions
Tags
Users
Badges
coq-plugin
2 Questions
Newest
Active
Unanswered
Frequent
More
Score
View
Card
Compact
How to get the name of a named goal in the coq api
user_14015785
0
•
asked Jul 29, 2020
2
1
88
coq-plugin
coq
ocaml
OCaml and preprocessor have incompatible versions error when installing tcoq
user_1601580
0
•
asked Dec 26, 2018
5
1
474
coq-plugin
camlp4
coq
ocaml
1
(current)
Hot Questions