This project is part of the tooling exercises.
this is the chat extension module for the decentralized framework.
A framework for smart contract verification in Coq
Milestone 1 for P2P and Cloud computing
