Stream: Coq Platform devs & users

Topic: ✔ Licensing of libhyps


view this post on Zulip Karl Palmskog (Sep 23 2022 at 13:58):

@Julien Puydt an extra ping about the new LibHyps release:

view this post on Zulip Notification Bot (Sep 23 2022 at 13:59):

Karl Palmskog has marked this topic as resolved.

view this post on Zulip Julien Puydt (Sep 23 2022 at 14:13):

Thanks, I'll work on updating my would-be package and propose it for inclusion.


Last updated: Jan 30 2023 at 10:03 UTC