mathematics Questions
0 | Last 7 Days | 0% unanswered |
0 | Last 30 Days | 0% unanswered |
22 | All Time | 9.1% unanswered |
Top mathematics Answerers
Last 30 Days
Top mathematics Askers
Only non community-wiki questions and answers are included in these totals (updated daily)
Related Tags
mathematics × 22applications × 4
lean × 2
usage × 2
category-theory × 2
set-theory × 2
lean-mathlib × 2
history × 1
isabelle × 1
beginner × 1
recommendations × 1
design × 1
translating × 1
automatic × 1
floating-point × 1
verification × 1
reference-request × 1
type-theory × 1
constructive × 1
consistency-strength × 1
bugs × 1
resources × 1
predicativity × 1
software-request × 1
isabelle-hol × 1