This comment references a page not found: https://github.com/runtimeverification/verified-smart-contracts/pull/318#issuecomment-601977580 https://github.com/runtimeverification/verified-smart-contracts/pull/319#issuecomment-601977020 Can the comments be updated with a working link?
This comment references a page not found:
#318 (comment)
#319 (comment)
Can the comments be updated with a working link?