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