This repository has been archived by the owner on May 30, 2023. It is now read-only.

"safety" link in README.md is broken #9

Open

jgarvin opened this issue Jul 9, 2020 · 0 comments

jgarvin commented Jul 9, 2020

Subject says it all :) Soundness link works but safety link does not.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.