Tag Archives: quotients

Formalising Mathematics : workshop 7 — quotients

Posted on March 4, 2021 by xenaproject

Is a quotient a set of equivalence classes? I think it’s something a bit more general than that. Continue reading →

Posted in formalising mathematics course, M1F, undergrad maths | Tagged , | 7 Comments

Equality part 1: definitional equality.

Posted on May 21, 2019 by xenaproject

I keep meaning to write something about equality in Lean, and on the tube home today I just managed to understand it a little bit better, so perhaps now is the time (although I won’t get to today’s revelation until … Continue reading →

Posted in Learning Lean | Tagged , | 2 Comments