search

abella-prover / abella-prover.org

The web-site for Abella
http://abella-prover.org
2 stars 3 forks source link

Broken url #3

Open ThatDaleMiller opened 7 years ago

ThatDaleMiller commented 7 years ago

The link for the example "Preservation of strong normalization for a variant of the λσ-calculus", namely, http://abella-prover.org/examples/lambda-calculus/exsub-sn/ is broken (404 not found).

chaudhuri commented 7 years ago

That's one of the examples that was never ported over from 1.3. We should either port the example or delete the link. We can maybe give this as a learning exercise to a new student/intern?

amerikan commented 5 years ago

@chaudhuri where's the 1.3 version of it?

Why not remove the example from http://abella-prover.org/examples/index.html or at least remove the hyper link (retaining the text) with some note saying not available or link to old 1.3 version of it but note that next to the link.

I think any of the above is better than having a broken link.