isabelle Questions
0 | Last 7 Days | 0% unanswered |
0 | Last 30 Days | 0% unanswered |
11 | All Time | 27.3% unanswered |
Related Tags
isabelle × 11proof-assistants × 4
coq × 3
logic × 2
proof-techniques × 2
induction × 2
coinduction × 2
lambda-calculus × 1
type-theory × 1
correctness-proof × 1
first-order-logic × 1
history × 1
category-theory × 1
automated-theorem-proving × 1
interactive-proof-systems × 1
curry-howard × 1
modal-logic × 1
higher-order-logic × 1