Stream: Beginner Questions

Topic: reset


view this post on Zulip zibo yang (Jun 03 2021 at 12:49):

could anyone explain to me what exactly the error "using reset state" means

view this post on Zulip Jakub Kądziołka (Jun 03 2021 at 13:02):

That means something like "you're in the middle of a proof, and you're trying to state another lemma, so I'm forgetting about the previous one"

view this post on Zulip zibo yang (Jun 03 2021 at 13:07):

Jakub Kądziołka said:

That means something like "you're in the middle of a proof, and you're trying to state another lemma, so I'm forgetting about the previous one"

great, that is my fault.


Last updated: Feb 27 2024 at 08:17 UTC