Stream: Elpi users & devs

Topic: ✔ Check if term uses undeclared constants

view this post on Zulip Quentin VERMANDE (Nov 20 2023 at 14:02):

Ok, thank you. I should be able to do it.

view this post on Zulip Notification Bot (Nov 20 2023 at 14:02):

Quentin VERMANDE has marked this topic as resolved.

Last updated: Oct 13 2024 at 01:02 UTC