search

celestiaorg / nmt

Namespaced Merkle Tree
Apache License 2.0
117 stars 43 forks source link

Fix links to informal quint #269

Closed rach-id closed 1 week ago

rach-id commented 4 months ago

The CI reports the following dead links:

  [✖] https://github.com/informalsystems/quint/blob/main/tutorials/README.md → Status: 404
  [✖] https://github.com/informalsystems/quint/blob/main/doc/quint-cheatsheet.pdf → Status: 404
  [✖] https://github.com/informalsystems/quint/blob/main/doc/builtin.md → Status: 404