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: Jun 01 2023 at 12:01 UTC