isar Questions
0 | Last 7 Days | 0% unanswered |
0 | Last 30 Days | 0% unanswered |
10 | All Time | 20% unanswered |
Related Tags
isar × 10isabelle × 5
isabelle-hol × 4
forward-proof × 2
natural-deduction × 2
reference-request × 1
type-theory × 1
type-class × 1
equality × 1
proof-general × 1
user-experience × 1
algebraic-data-types × 1