tactic Questions
0 | Last 7 Days | 0% unanswered |
3 | Last 30 Days | 0% unanswered |
39 | All Time | 10.3% unanswered |
Top tactic Answerers
Top tactic Askers
Last 30 Days
3 | 3 |
Only non community-wiki questions and answers are included in these totals (updated daily)
Related Tags
tactic × 39coq × 25
lean × 6
beginner × 6
lean4 × 5
usage × 2
lean-mathlib × 2
proof-assistant × 2
proof-review × 2
coq-ssreflect × 2
coq-unimath × 2
rewriting × 2
agda × 1
design × 1
software-request × 1
reference-request × 1
inductive-type × 1
equality × 1
category-theory × 1
constructive × 1
induction × 1
program-extraction × 1
quantification × 1
coq-mathcomp × 1
ide × 1