recursion Questions
0 | Last 7 Days | 0% unanswered |
0 | Last 30 Days | 0% unanswered |
6 | All Time | 16.7% unanswered |
Related Tags
recursion × 6coq × 2
set-theory × 2
inductive-type × 1
lean3 × 1
fixpoint × 1
definition × 1
constructive-mathematics × 1
proof-techniques × 1
first-order-logic × 1
dafny × 1