Stream: Elpi users & devs

Topic: Calling external tools with Coq-Elpi

view this post on Zulip Karl Palmskog (Jul 22 2022 at 20:47):

I think this is very specific Elpi stuff, so moving there to make it easier to find

view this post on Zulip Notification Bot (Jul 22 2022 at 20:47):

This topic was moved here from #Miscellaneous > Calling external tools with Coq-Elpi by Karl Palmskog.

Last updated: Feb 05 2023 at 13:02 UTC