legicash/legicash-contracts

Formally verified cryptocurrency smart contracts using game semantics in Coq

Last synced at: over 2 years ago - Stars: 0 - Forks: 0