We have released 0.16.0 using Coq 8.16.0 and it is now the default at coq.now.sh.
Last updated: Apr 20 2024 at 10:02 UTC
Shachar Itzhaky (Sep 22 2022 at 11:56): Shachar Itzhaky (Sep 22 2022 at 11:56):