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: Oct 01 2023 at 18:01 UTC