formal-proof Questions
0 | Last 7 Days | 0% unanswered |
0 | Last 30 Days | 0% unanswered |
44 | All Time | 34.1% unanswered |
Top formal-proof Answerers
Last 30 Days
Top formal-proof Askers
Last 30 Days
Only non community-wiki questions and answers are included in these totals (updated daily)
Related Tags
formal-proof × 44lo.logic × 18
proof-theory × 8
proof-assistants × 7
coq × 4
co.combinatorics × 3
gr.group-theory × 3
set-theory × 3
soft-question × 3
finite-groups × 3
formal-languages × 3
pr.probability × 2
graph-theory × 2
model-theory × 2
limits-and-convergence × 2
foundations × 2
elementary-proofs × 2
type-theory × 2
proof-complexity × 2
formalization × 2
reference-request × 1
fa.functional-analysis × 1
rt.representation-theory × 1
ct.category-theory × 1
linear-algebra × 1