Stream: Coq users

Topic: ✔ One less than other

view this post on Zulip Cyril Cohen (Feb 21 2024 at 11:14):

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.

view this post on Zulip Notification Bot (Feb 21 2024 at 11:14):

Cyril Cohen has marked this topic as resolved.

Last updated: Jun 18 2024 at 23:01 UTC