Stream: Coq users

Topic: ✔ which command?

view this post on Zulip Notification Bot (Jul 07 2023 at 15:04):

Cyril Cohen has marked this topic as resolved.

view this post on Zulip Cyril Cohen (Jul 07 2023 at 15:04):

This topic has been closed by request of the moderators and shall not be reopened unless the original author provides enough context, with actual Coq code.

Last updated: Jun 22 2024 at 16:02 UTC