Stream: Elpi users & devs

Topic: Elpi version for Coq Platform


view this post on Zulip Michael Soegtrop (Mar 21 2022 at 10:52):

@Enrico Tassi : I saw that there is a new version since we discussed the 8.15 pick in (https://github.com/LPCIC/coq-elpi/issues/327). If I shall use the latest version, please reopen and update this ticket.

view this post on Zulip Enrico Tassi (Mar 21 2022 at 10:54):

thanks for the heads up. 1.13 has a impostant speedup for algebra-tactics, so it may be worth it.

view this post on Zulip Michael Soegtrop (Mar 21 2022 at 10:57):

Thanks for the quick confirmation. Btw.: please feel free to reopen the tracker issues - if it is too late I can still reject it.


Last updated: Feb 05 2023 at 14:02 UTC