Stream: Elpi users & devs

Topic: ✔ Elpi tactic returning a term


view this post on Zulip Notification Bot (Sep 14 2022 at 10:38):

Pierre Vial has marked this topic as resolved.


Last updated: Feb 04 2023 at 01:03 UTC