Protocol documentation link in the README is broken
zhaoyu-li opened this issue · 2 comments
zhaoyu-li commented
Hi, protocol documentation link in the README is broken, hope that you can fix it. Thanks!
HKalbasi commented
+1
Please fix it or make an alternative way for reading documentations.
tchajed commented
Seems like it's now at https://ejgallego.github.io/coq-serapi/coq-serapi/Serapi_protocol/index.html