hkalbasi (Jan 25 2021 at 16:49): hkalbasi (Jan 25 2021 at 16:49):https://github.com/ejgallego/coq-serapi/issues/226
Can I find it somewhere else? Is it a typo on url?
Tej Chajed (Jan 26 2021 at 03:22):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
Emilio Jesús Gallego Arias (Jan 26 2021 at 10:07):Thanks @Tej Chajed , indeed I need to better automate this.
Last updated: Jun 01 2023 at 12:01 UTC