lo.logic Questions
1 | Last 7 Days | 100% unanswered |
2 | Last 30 Days | 50% unanswered |
485 | All Time | 16.9% unanswered |
Top lo.logic Answerers
Top lo.logic Askers
Only non community-wiki questions and answers are included in these totals (updated daily)
Related Tags
lo.logic × 485type-theory × 84
cc.complexity-theory × 71
reference-request × 65
pl.programming-languages × 58
lambda-calculus × 56
computability × 46
proof-theory × 26
descriptive-complexity × 24
sat × 22
proof-complexity × 20
automated-theorem-proving × 20
finite-model-theory × 20
model-checking × 19
temporal-logic × 19
automata-theory × 18
ct.category-theory × 17
dependent-type × 17
proof-assistants × 16
coq × 15
type-systems × 13
linear-logic × 13
ds.algorithms × 12
soft-question × 12
program-verification × 12