Explore projects

this is the chat extension module for the decentralized framework.

A framework for smart contract verification in Coq

This project contains documentation and examples for the WLAN-token technique used in a few student and research projects

This is an extension module for the decentralized collaborative framework.