Stream: Coq Universe

Topic: Universe up and running for 8.16/8.17

view this post on Zulip Ali Caglayan (Dec 25 2022 at 12:48):

I have updated coq-universe for coq 8.16/8.17. We have two new additions of coqprime and bignums. (Due to deps from hydra-battles).

Last updated: Apr 19 2024 at 02:02 UTC