Stream: Coq users

Topic: ✔ natural numbers

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

Cyril Cohen has marked this topic as resolved.

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

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 13 2024 at 21:01 UTC