reference-request Questions
1 | Last 7 Days | 100% unanswered |
1 | Last 30 Days | 100% unanswered |
26 | All Time | 30.8% unanswered |
Top reference-request Answerers
Last 30 Days
Top reference-request Askers
Last 30 Days
4 | 1 |
Only non community-wiki questions and answers are included in these totals (updated daily)
Related Tags
reference-request × 26type-theory × 4
coq × 3
history × 2
beginner × 2
agda × 2
inductive-type × 2
universe × 2
modal-logic × 2
applications × 1
isabelle × 1
mathematics × 1
higher-order-logic × 1
learning × 1
foundations × 1
recommendations × 1
floating-point × 1
subtyping × 1
cumulativity × 1
implementation × 1
lambda-calculus × 1
software-application × 1
resources × 1
numerical-methods × 1
differential-equations × 1