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
First Dapp (for BlockchainChallenge)
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.
reasonably complete web3 project starter including decentralized application, governance and token engineering
Legal Agreements for representing Real Property rights on-chain 📄.
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."