Tag Info

Related Tags

automated-theorem-proving × 72
logic × 23
proof-assistants × 15
first-order-logic × 9
coq × 7
proof-techniques × 6
smt-solvers × 6
type-theory × 5
formal-methods × 5
satisfiability × 4
artificial-intelligence × 4
software-verification × 4
complexity-theory × 3
automata × 3
reference-request × 3
programming-languages × 3
finite-automata × 2
undecidability × 2
lambda-calculus × 2
halting-problem × 2
nondeterminism × 2
propositional-logic × 2
mathematical-programming × 2
dependent-types × 2
sat-solvers × 2