Stream: Elpi users & devs

Topic: ✔ citation

view this post on Zulip Assia Mahboubi (Feb 05 2022 at 16:47):

Hello @Enrico Tassi , how would you like coq-elpi to be cited in a publication?

view this post on Zulip Enrico Tassi (Feb 05 2022 at 18:45):

The best you can do is https://hal.inria.fr/hal-01176856 + and a url for GitHub coq-elpi

view this post on Zulip Assia Mahboubi (Feb 14 2022 at 08:49):

Thanks!

view this post on Zulip Notification Bot (Feb 14 2022 at 08:49):

Assia Mahboubi has marked this topic as resolved.

Last updated: Jun 06 2023 at 22:01 UTC