constructive Questions
0 | Last 7 Days | 0% unanswered |
0 | Last 30 Days | 0% unanswered |
13 | All Time | 7.7% unanswered |
Top constructive Answerers
Last 30 Days
Top constructive Askers
Only non community-wiki questions and answers are included in these totals (updated daily)
Related Tags
constructive × 13lean × 5
type-theory × 2
coq × 2
software-request × 2
program-extraction × 2
mathematics × 1
usage × 1
dependent-type × 1
recommendations × 1
history × 1
tactic × 1
automated-theorem-proving × 1
applications × 1
lambda-calculus × 1
proof-assistant × 1
irrelevance × 1
martin-lof-type-theory × 1
lean3 × 1
prop × 1
canonicity × 1
markovs-principle × 1
real-numbers × 1
axiom-of-choice × 1
propositions × 1