ergo-compiler

There are 0 repository under ergo-compiler topic.

accordproject / ergo
Programming Language for Smart Legal Contracts
legal language javascript ergo ergo-compiler legaltech accord-project smart-contracts legal-engineering verification blockchain ethereum hyperledger corda tezos digital-asset hacktoberfest
Language:Coq 156