Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

L

legicash-contracts

Copy SSH clone URLgit@gitlab.com:legicash/legicash-contracts.git
Copy HTTPS clone URLhttps://gitlab.com/legicash/legicash-contracts.git

The repository for this project is empty

Project information

Formally verified cryptocurrency smart contracts using game semantics in Coq

Coq formal methods smart contract

+ 4 more

Created on

April 20, 2018