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: Sep 28 2023 at 10:01 UTC