#Welcome to Azure Blockchain Projects
This Repo host Azure related blockchain and distributed ledger projects.
##baas-artifacts
This repo hosts distributed ledger artifacts used in Azure DevTest labs. To add your artifact, simply fork this repo, add a folder with your asset and issue a pull request. The pull will be evaluated and merged.
##bletchley
Microsoft Blockchain Platform Strategy
This project has adopted the Microsoft Open Source Code of Conduct. For more information see the Code of Conduct FAQ or contact opencode@microsoft.com with any additional questions or comments.
##kinakuta
Formal verification of Smart Contracts workgroup repo. Home to documentation, best practices and tools for improving the reliability and security of Smart Contract development.
This project has adopted the Microsoft Open Source Code of Conduct. For more information see the Code of Conduct FAQ or contact opencode@microsoft.com with any additional questions or comments.