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