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