Verification-Driven Development
This repository contains guidelines and specifications that documents our view on verification-driven development. The specifications in this repository are of preliminary nature and do not represent reviewed and authoratative documentation. See https://github.com/informalsystems/tendermint-rs/tree/master/docs/spec/ for those.