proof-search Questions
0 | Last 7 Days | 0% unanswered |
0 | Last 30 Days | 0% unanswered |
7 | All Time | 14.3% unanswered |
Related Tags
proof-search × 7proof-assistant × 3
automated × 3
automated-theorem-proving × 2
isabelle × 1
foundations × 1
cubical-type-theory × 1
performance × 1
homotopy-type-theory × 1
isabelle-hol × 1
soft-question × 1
proof-infrastructure × 1
computer-algebra-system × 1
proof-tree × 1