search

apalache-mc / apalache

APALACHE: symbolic model checker for TLA+ and Quint
https://apalache-mc.org/
Apache License 2.0
427 stars 40 forks source link

Add link checking to mdBook rendering #706

Open shonfeder opened 3 years ago

shonfeder commented 3 years ago

See https://crates.io/crates/mdbook-linkcheck

thpani commented 10 months ago

See also https://github.com/informalsystems/apalache/pull/414