Related Tags
automated × 5automated-theorem-proving × 4
proof-search × 3
cubical-type-theory × 1
implementation × 1
saturation × 1
contradiction × 1
proof-assistant × 1
performance × 1
e-theorem-prover × 1
homotopy-type-theory × 1
soft-question × 1
programming-languages × 1
proof-tree × 1