Related Tags
proof-assistants × 40lo.logic × 16
coq × 11
type-theory × 10
reference-request × 6
dependent-type × 5
automated-theorem-proving × 5
cc.complexity-theory × 3
functional-programming × 3
soft-question × 2
computability × 2
pl.programming-languages × 2
proofs × 2
software × 2
typed-lambda-calculus × 2
agda × 2
hol-light × 2
hol × 2
graph-theory × 1
approximation-algorithms × 1
turing-machines × 1
big-picture × 1
reductions × 1
planar-graphs × 1
application-of-theory × 1
