history Questions
0 | Last 7 Days | 0% unanswered |
0 | Last 30 Days | 0% unanswered |
14 | All Time | 14.3% unanswered |
Top history Answerers
Last 30 Days
Top history Askers
Only non community-wiki questions and answers are included in these totals (updated daily)
Related Tags
history × 14coq × 2
reference-request × 2
type-theory × 1
mathematics × 1
usage × 1
design × 1
software-request × 1
foundations × 1
automated-theorem-proving × 1
applications × 1
constructive × 1
performance × 1
calculus-of-inductive-constructions × 1
terminology × 1
universe × 1
machine-learning × 1
predicativity × 1
program-extraction × 1
functional-extensionality × 1
consistency × 1