search

informalsystems / vdd

Verification-Driven Development
21 stars 0 forks source link

Moved in blockchain specs as needed #14

Closed josef-widder closed 4 years ago