search

vprover / vprover.github.io

Other
0 stars 5 forks source link

Broken project link #11

Open sankalpgambhir opened 1 year ago

sankalpgambhir commented 1 year ago

Project link for tree interpolation (on Laura Kovacs' old Chalmers page) no longer exists, and is thus broken:

https://github.com/vprover/vprover.github.io/blob/c5fd562b0cadbaa0b1703f66cb91c6e322adb10f/projects.html#L15