Related Tags
formal-proof × 42lo.logic × 17
proof-theory × 7
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
reference-request × 1
fa.functional-analysis × 1
rt.representation-theory × 1
ct.category-theory × 1
linear-algebra × 1
gn.general-topology × 1