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