Comment by ykonstant

Amusingly, in the Lean proof assistant, division by zero in both Naturals and Integers results in zero:

    #eval (1/0 : Nat) -- 0
    #eval (1/0 : Int) -- 0

There are good reasons for this convention in the context of Lean, although I doubt that teacher had formal verification in mind :D