https://github.com/ejgallego/coq-serapi/issues/226
Can I find it somewhere else? Is it a typo on url?
posted a comment in the issue as well, but it seems to now be rendered at https://ejgallego.github.io/coq-serapi/coq-serapi/Serapi_protocol/index.html
Thanks @Tej Chajed , indeed I need to better automate this.
Last updated: Nov 29 2023 at 05:01 UTC