Related Tags
proof-assistants × 47lo.logic × 17
type-theory × 13
coq × 12
reference-request × 6
dependent-type × 6
automated-theorem-proving × 6
typed-lambda-calculus × 4
cc.complexity-theory × 3
functional-programming × 3
proof-theory × 3
homotopy-type-theory × 3
agda × 3
soft-question × 2
computability × 2
pl.programming-languages × 2
proofs × 2
software × 2
hol-light × 2
hol × 2
graph-theory × 1
approximation-algorithms × 1
turing-machines × 1
big-picture × 1
reductions × 1