lean Questions
0 | Last 7 Days | 0% unanswered |
2 | Last 30 Days | 50% unanswered |
164 | All Time | 7.9% unanswered |
Top lean Answerers
Last 30 Days
4 | 1 |
Top lean Askers
Only non community-wiki questions and answers are included in these totals (updated daily)
Related Tags
lean × 164lean4 × 62
lean-mathlib × 33
lean3 × 27
coq × 14
beginner × 14
lean-community × 6
tactic × 6
constructive × 5
proof-assistant × 5
type-theory × 4
inductive-type × 4
equality × 4
isabelle × 3
dependent-type × 3
agda × 3
universe × 3
high-performance-computing × 2
installation × 2
tutorials × 2
mathematics × 2
foundations × 2
translating × 2
set-theory × 2
backward-proof × 2