informalsystems / informalsystems/vdd
Update README.md
Open
- Dominant language
- No language data
- Stars
- 21
- Forks
- 0
- PR merge metrics
- No merged PRs in 30d
Description
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.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.