search

vprover / vprover.github.io

Other
0 stars 5 forks source link

Broken past members links #10

Open sankalpgambhir opened 1 year ago

sankalpgambhir commented 1 year ago

The links to pages of Evgenii Kotelnikov and Simon Robillard (both to Chalmers) are broken (404).

https://github.com/vprover/vprover.github.io/blob/c5fd562b0cadbaa0b1703f66cb91c6e322adb10f/_includes/authors.html#L11

https://github.com/vprover/vprover.github.io/blob/c5fd562b0cadbaa0b1703f66cb91c6e322adb10f/_includes/authors.html#L16