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