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