Stream: Coq users

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

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