lean Questions
0 | Last 7 Days | 0% unanswered |
3 | Last 30 Days | 0% unanswered |
162 | All Time | 7.4% unanswered |
Top lean Answerers
Top lean Askers
Only non community-wiki questions and answers are included in these totals (updated daily)
Related Tags
lean × 162lean4 × 61
lean-mathlib × 32
lean3 × 27
coq × 14
beginner × 14
tactic × 6
lean-community × 6
constructive × 5
type-theory × 4
inductive-type × 4
equality × 4
proof-assistant × 4
agda × 3
isabelle × 3
dependent-type × 3
universe × 3
mathematics × 2
foundations × 2
installation × 2
tutorials × 2
calculus-of-inductive-constructions × 2
proof-review × 2
homotopy-type-theory × 2
translating × 2