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: Apr 20 2024 at 10:02 UTC