Stream: Coq users

Topic: not actual: ssreflect solve simple cases


view this post on Zulip Andrey Klaus (Aug 21 2021 at 11:21):

not actual

view this post on Zulip Andrey Klaus (Aug 21 2021 at 11:27):

(deleted)


Last updated: Feb 04 2023 at 21:02 UTC