Stream:
Coq users
Topic:
not actual: ssreflect solve simple cases
Andrey Klaus
(Aug 21 2021 at 11:21)
:
not actual
Andrey Klaus
(Aug 21 2021 at 11:27)
:
(deleted)
Last updated: Sep 28 2023 at 10:01 UTC
Andrey Klaus (Aug 21 2021 at 11:21): Andrey Klaus (Aug 21 2021 at 11:21): Andrey Klaus (Aug 21 2021 at 11:27):