Stream: Coq users

Topic: (no topic)

zeesha huq (Oct 30 2023 at 16:52):

zeesha huq (Oct 30 2023 at 16:52):

(deleted)

zeesha huq (Oct 30 2023 at 16:52):

zeesha huq (Oct 30 2023 at 16:53):

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

Patrick Nicodemus (Feb 05 2024 at 13:31):

(deleted)

zohaze (Mar 04 2024 at 17:11):

Last updated: Oct 13 2024 at 01:02 UTC