search

input-output-hk / decentralized-software-updates

Research on a decentralized software update mechanism for blockchain systems
Apache License 2.0
7 stars 2 forks source link

Remove formal spec. #171

Closed dnadales closed 3 years ago