Related Tags
coq × 55type-theory × 22
lo.logic × 15
dependent-type × 13
proof-assistants × 11
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
program-verification × 2
type-inference × 2
set-theory × 2
normalization × 2
soft-question × 1
planar-graphs × 1
ct.category-theory × 1
application-of-theory × 1
proof-complexity × 1
typed-lambda-calculus × 1
