Stream: Coq users

Topic: (no topic)


view this post on Zulip zeesha huq (Oct 30 2023 at 16:52):


view this post on Zulip zeesha huq (Oct 30 2023 at 16:52):

(deleted)

view this post on Zulip zeesha huq (Oct 30 2023 at 16:52):


view this post on Zulip zeesha huq (Oct 30 2023 at 16:53):

(S s) = mult a b ->
2<=?a=true \/ 2<=?b

view this post on Zulip Patrick Nicodemus (Feb 05 2024 at 13:31):

(deleted)

view this post on Zulip zohaze (Mar 04 2024 at 17:11):



Last updated: Jun 13 2024 at 21:01 UTC