Programming Language for Smart Legal Contracts
javascript
language
legal
ethereum
smart-contracts
blockchain
verification
hyperledger
hacktoberfest
corda
legaltech
tezos
ergo
legal-engineering
accord-project
ergo-compiler
digital-asset
-
Updated
Apr 9, 2023 - Coq