Stream: Coq users

Topic: ✔ Is it possible to make simpl automatically unfold defin...


view this post on Zulip walker (Sep 25 2022 at 14:28):

It now makes complete sense to me! thanks alot!


Last updated: Jan 29 2023 at 06:02 UTC