Related Tags
coq × 51type-theory × 19
lo.logic × 15
proof-assistants × 11
dependent-type × 10
calculus-of-constructions × 7
pl.programming-languages × 6
agda × 5
reference-request × 3
computability × 3
automated-theorem-proving × 3
proof-theory × 3
formal-methods × 3
type-systems × 2
interactive-proofs × 2
set-theory × 2
program-verification × 2
type-inference × 2
normalization × 2
soft-question × 1
planar-graphs × 1
ct.category-theory × 1
application-of-theory × 1
proof-complexity × 1
halting-problem × 1