scilla-coq
State-Transition Systems for Smart Contracts
Archived
24 stars
10 watching
8 forks
Language: Coq
last commit: almost 5 years ago automatacoqformal-verificationscillasmart-contractszilliqa
scilla-coq State-Transition Systems for Smart Contracts