SpiceQA
Questions
Tags
Users
Badges
ltac
11 Questions
Newest
Active
Unanswered
Frequent
More
Score
View
Card
Compact
Curry universally quantified function
user_1056174
0
•
asked Jun 4, 2017
3
1
121
ltac
coq-tactic
coq
Prev
Prev
1
2
(current)
Hot Questions