proof-assistant Questions
0 | Last 7 Days | 0% unanswered |
0 | Last 30 Days | 0% unanswered |
33 | All Time | 21.2% unanswered |
Top proof-assistant Answerers
Last 30 Days
2 | 2 |
Top proof-assistant Askers
Last 30 Days
Only non community-wiki questions and answers are included in these totals (updated daily)
Related Tags
proof-assistant × 33coq × 10
isabelle × 5
lean × 4
proof-search × 3
formal-languages × 3
proof-techniques × 3
software-request × 2
coinductive-type × 2
tactic × 2
automated-theorem-proving × 2
lambda-calculus × 2
terminology × 2
isabelle-hol × 2
programming-languages × 2
type-theory × 1
agda × 1
beginner × 1
implementation × 1
reference-request × 1
applications × 1
category-theory × 1
constructive × 1
performance × 1
automated × 1