Stream: general

Topic: failed

Kenny Lau (May 24 2020 at 08:07):

example : 0 = 0 :=
by rw bit0


error:

failed
state:
⊢ 0 = 0


Kenny Lau (May 24 2020 at 08:07):

could we have a more descriptive error?

Last updated: May 08 2021 at 09:11 UTC