contraval software on GitHub

Software OPEN SOURCE

A tool for validating the logical consistency of smart contracts implemented at Newcastle Univ. and maintained by Univ. of Cambridge.
Share - Bookmark