Zulip Chat Archive
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 02 2025 at 03:31 UTC