I am going to put a link to VDD (https://github.com/informalsystems/vdd) into my TLA+ Community Event presentation; it would be nice to update the README.md such that:
it points to the moved specs
refers to the VDD guide
maybe contains further information / a couple of other links, useful for general audience.
I am going to put a link to VDD (https://github.com/informalsystems/vdd) into my TLA+ Community Event presentation; it would be nice to update the README.md such that: