Stream: jsCoq

Topic: Broken link in the npm jscoq page


view this post on Zulip Yves Bertot (Nov 30 2021 at 08:49):

Hello, I just came across the following page https://www.npmjs.com/package/jscoq, there is a broken link in the middle.
https://x80.org/rhino-coq/v8.11/examples/equations_intro.htmla
The last a should be remvoed from this address.

view this post on Zulip Yves Bertot (Nov 30 2021 at 08:49):

https://x80.org/rhino-coq/v8.11/examples/equations_intro.html


Last updated: Jan 31 2023 at 11:01 UTC