Stream: Coq users

Topic: ✔ how to substitute posed variable?


view this post on Zulip Andrey Klaus (Jun 22 2023 at 22:01):

(deleted)

view this post on Zulip Notification Bot (Jun 22 2023 at 22:05):

Andrey Klaus has marked this topic as resolved.


Last updated: Jun 23 2024 at 05:02 UTC