Scheduled rate-limit preview window: between 15:00 and 19:00 UTC on 14 October, the new limits will be briefly active so you can see how your workloads are affected. They are live only during this window, and apply permanently from 19 October. Learn more.

G
game semantics

Projects with this topic

View legicash-contracts project

legicash / legicash-contracts

Formally verified cryptocurrency smart contracts using game semantics in Coq

Coq formal methods smart contract cryptocurrency ocaml legicash game semantics

0

Updated Apr 20, 2018

0 0 0 0

Updated Apr 20, 2018