proof-assistants Questions
0 | Last 7 Days | 0% unanswered |
0 | Last 30 Days | 0% unanswered |
36 | All Time | 13.9% unanswered |
Top proof-assistants Answerers
Top proof-assistants Askers
Last 30 Days
Only non community-wiki questions and answers are included in these totals (updated daily)
Related Tags
proof-assistants × 36lo.logic × 14
coq × 9
type-theory × 8
reference-request × 5
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
graph-theory × 1
approximation-algorithms × 1
turing-machines × 1
big-picture × 1
reductions × 1
planar-graphs × 1
application-of-theory × 1
semantics × 1
complexity × 1
interactive-proofs × 1