Programming Language for Smart Legal Contracts
-
Updated
Apr 9, 2023 - Coq
Programming Language for Smart Legal Contracts
A Web UI for creating, editing and testing Accord Project templates
personal site & writings.
My personal blog
reasonably complete web3 project starter including decentralized application, governance and token engineering
rulebook concerning governance of network, arbitration, adjudication of disputes, and business continuity procedures and service level agreements to be met. #lexDAO is the on-chain equiv.
First Dapp (for BlockchainChallenge)
Add a description, image, and links to the legal-engineering topic page so that developers can more easily learn about it.
To associate your repository with the legal-engineering topic, visit your repo's landing page and select "manage topics."