Stream: Coq users

Topic: Undestanding coq statments and writing proof


view this post on Zulip Ofey QED (Nov 21 2020 at 16:23):

(deleted)

view this post on Zulip Ofey QED (Nov 21 2020 at 16:24):

(deleted)

view this post on Zulip Ofey QED (Nov 21 2020 at 16:28):

(deleted)


Last updated: Jun 17 2024 at 22:01 UTC