SpiceQA
Questions
Tags
Users
Badges
jscoq
1 Questions
Newest
Active
Unanswered
Frequent
More
Score
View
Card
Compact
Why is my local coq no acting the same as standard coq e.g. as JsCoq?
user_1601580
0
•
asked Mar 8, 2022
2
1
47
jscoq
coq-tactic
visual-studio-code
coq
1
(current)
Hot Questions