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 13 2024 at 01:02 UTC