Stream: math-comp users

Topic: Coq-combi


view this post on Zulip 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.

view this post on Zulip Ali Caglayan (Jun 06 2022 at 11:08):

I am wondering if there are plans to keep maintaining this.

view this post on Zulip 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

view this post on Zulip 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)

view this post on Zulip 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: Feb 08 2023 at 07:02 UTC