Fix two links on "usage" page

vprover / vprover.github.io

Other

0 stars 5 forks source link

Closed RasmusRendal closed 1 year ago

RasmusRendal commented 1 year ago

The TPTP site was moved to its own dedicated page at some point. Also, the tutorial paper link 404'ed.