Explore projects

A framework for smart contract verification in Coq

Test data repo for testing tool output for traceability against the schemas

This project is part of the tooling exercises.