Stream:
Coq users
Topic:
✔ how to prove this in Coq
Notification Bot
(Jul 29 2022 at 06:15)
:
TX Xia
has marked this topic as resolved.
Last updated: Jan 27 2023 at 01:03 UTC