Stream: Coq users

Topic: ✔ argument

view this post on Zulip Notification Bot (Jun 20 2023 at 12:43):

Cyril Cohen has marked this topic as resolved.

view this post on Zulip Cyril Cohen (Jun 20 2023 at 12:44):

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 23 2024 at 05:02 UTC