Tag Archives: division by zero
Division by zero in type theory: a FAQ
How can a theorem prover use the convention that 1/0=0 and still be consistent? Continue reading
Posted in Learning Lean, M1F, M40001, Type theory, undergrad maths
Tagged division, division by zero
12 Comments
Xena 