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: Feb 08 2023 at 23:03 UTC