Stream: Coq users

Topic: ✔ Extracting function to 3rd party function


view this post on Zulip Julin S (Jul 20 2022 at 05:21):

Thanks!

view this post on Zulip Notification Bot (Jul 20 2022 at 05:21):

Julin S has marked this topic as resolved.


Last updated: Jan 31 2023 at 13:02 UTC