Explore projects

This is the second milestone

Combined demo and user study application for the Haptic Histories project

this is the chat extension module for the decentralized framework.

A framework for smart contract verification in Coq