equality Questions
0 | Last 7 Days | 0% unanswered |
2 | Last 30 Days | 0% unanswered |
32 | All Time | 6.3% unanswered |
Top equality Answerers
Top equality Askers
Only non community-wiki questions and answers are included in these totals (updated daily)
Related Tags
equality × 32coq × 17
type-theory × 6
dependent-type × 5
lean × 4
beginner × 4
agda × 4
lean4 × 3
rewriting × 3
coinductive-type × 2
lean3 × 2
irrelevance × 2
usage × 1
foundations × 1
intensional-equality × 1
implementation × 1
forward-proof × 1
inductive-type × 1
calculus-of-inductive-constructions × 1
martin-lof-type-theory × 1
tactic × 1
isar × 1
isabelle-hol × 1
computational-complexity × 1
eta-equality × 1