Stream: Coq users

Topic: ✔ Proving strong ind <-> ind.


view this post on Zulip Notification Bot (Apr 28 2022 at 16:03):

Kard Zorn has marked this topic as resolved.


Last updated: Feb 04 2023 at 23:02 UTC