Stream: Coq users

Topic: ✔ rewriting to isolate term


view this post on Zulip Notification Bot (May 12 2022 at 17:41):

Mathis Bouverot-Dupuis has marked this topic as resolved.


Last updated: Feb 06 2023 at 13:03 UTC