Tag Info

Related Tags

automated-theorem-proving × 48
lo.logic × 20
reference-request × 10
type-theory × 9
proof-assistants × 6
pl.programming-languages × 5
cc.complexity-theory × 4
program-verification × 4
set-theory × 4
proof-complexity × 3
coq × 3
formal-methods × 3
automata-theory × 2
turing-machines × 2
functional-programming × 2
dependent-type × 2
ct.category-theory × 2
algebra × 2
application-of-theory × 2
model-checking × 2
formal-modeling × 2
resolution × 2
ds.algorithms × 1
fl.formal-languages × 1
soft-question × 1