Stream: Coq devs & plugin devs

Topic: ✔ Threading the environment and evar map


view this post on Zulip Mathis Bouverot-Dupuis (Oct 01 2024 at 10:03):

Thanks this answers my question :)

view this post on Zulip Notification Bot (Oct 01 2024 at 10:03):

Mathis Bouverot-Dupuis has marked this topic as resolved.


Last updated: Oct 13 2024 at 01:02 UTC