issues
search
AU-COBRA
/
ConCert
A framework for smart contract verification in Coq
MIT License
112
stars
18
forks
source link
Update readme
#209
Closed
4ever2
closed
1 year ago