We have released 0.16.0 using Coq 8.16.0 and it is now the default at coq.now.sh.
Last updated: Jun 04 2023 at 23:30 UTC
Shachar Itzhaky (Sep 22 2022 at 11:56): Shachar Itzhaky (Sep 22 2022 at 11:56):