proof-review Questions
0 | Last 7 Days | 0% unanswered |
0 | Last 30 Days | 0% unanswered |
14 | All Time | 7.1% unanswered |
Related Tags
proof-review × 14coq × 8
beginner × 4
lean × 2
dependent-type × 2
lean4 × 2
tactic × 2
natural-numbers × 2
agda × 1
lean-mathlib × 1
universe-polymorphism × 1
performance × 1
induction × 1
binders × 1
strategy × 1
lean3 × 1
pattern-matching × 1