Fixed several broken links and added canonical links for SEO#255

Open

shd101wyy wants to merge 3 commits intoruntimeverification:masterfrom

shd101wyy:fix/broken-links

Commits on Mar 23, 2021

fix: Fixed several broken links and added canonical links for SEO
shd101wyy
committed

Commits on Apr 10, 2021

Merge branch 'master' of github.com:runtimeverification/iele-semantics into fix/broken-links
shd101wyy
committed
fix: Fixed potential package.json build bug
shd101wyy
committed