-
Notifications
You must be signed in to change notification settings - Fork 5
Open
Description
The links to pages of Evgenii Kotelnikov and Simon Robillard (both to Chalmers) are broken (404).
vprover.github.io/_includes/authors.html
Line 11 in c5fd562
| {% assign kotelnikov = '<a href="http://www.cse.chalmers.se/~evgenyk/">Evgenii Kotelnikov</a>' %} |
vprover.github.io/_includes/authors.html
Line 16 in c5fd562
| {% assign robillard = '<a href="http://www.cse.chalmers.se/~simrob/">Simon Robillard</a>' %} |
Metadata
Metadata
Assignees
Labels
No labels