Ali Caglayan (Jun 06 2022 at 11:08): Ali Caglayan (Jun 06 2022 at 11:08):Hi, is Coq-Combi still being maintained? I tried building it yesterday with coq master, but it seems to still be referencing omega in places.
Ali Caglayan (Jun 06 2022 at 11:08):I am wondering if there are plans to keep maintaining this.
Reynald Affeldt (Jun 06 2022 at 11:22):Ali Caglayan said:
I am wondering if there are plans to keep maintaining this.
I think so. @Florent Hivert
Karl Palmskog (Jun 06 2022 at 15:21):for the record, we have offered to maintain the ALEA part of Coq-combi as part of the "official" ALEA in coq-community (to avoid the ALEA code diverging further)
Bas Spitters (Jun 06 2022 at 16:53):Since this is maht-comp users. See the discussion here on recording various probability libraries. We know there are more, and we've had discussions about them on zulip before.
Last updated: Oct 13 2024 at 01:02 UTC