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 cryptocurrency ocaml legicash game semantics

Created on

April 20, 2018