Yves Bertot (Nov 30 2021 at 08:49): 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.
Yves Bertot (Nov 30 2021 at 08:49):https://x80.org/rhino-coq/v8.11/examples/equations_intro.html
Last updated: May 31 2023 at 04:01 UTC