Related Tags
coq × 57type-theory × 23
lo.logic × 16
dependent-type × 13
proof-assistants × 12
calculus-of-constructions × 9
pl.programming-languages × 6
agda × 5
reference-request × 3
computability × 3
proof-theory × 3
automated-theorem-proving × 3
formal-methods × 3
type-systems × 2
interactive-proofs × 2
type-inference × 2
program-verification × 2
set-theory × 2
homotopy-type-theory × 2
normalization × 2
soft-question × 1
planar-graphs × 1
ct.category-theory × 1
application-of-theory × 1
proof-complexity × 1