Stream: Coq users

Topic: ✔ Fixpoint decreasing through N.div_eucl


view this post on Zulip Rodolphe Lepigre (Oct 28 2023 at 11:16):

I see, that works, thanks!

view this post on Zulip Notification Bot (Oct 28 2023 at 11:16):

Rodolphe Lepigre has marked this topic as resolved.


Last updated: Jun 18 2024 at 22:01 UTC