Stream: Coq users

Topic: ✔ Searching for a `Fixpoint`


view this post on Zulip Notification Bot (Apr 27 2024 at 16:59):

Pierre Rousselin has marked this topic as resolved.


Last updated: Jun 23 2024 at 05:02 UTC