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 14 2024 at 11:02 UTC