Dear Why3-club,
I am working on a programming language called Solidity which is targeted
towards blockchain applications.
The rough idea there is that we have a "globally shared computer" where
anyone can create programs that can interact with each other and are
executed transparently inside a ful
Hi all,
Jean-Christophe Filliatre
writes:
> There is indeed something similar for Coq (built with the same
> js_of_ocaml technology), so there is no reason you could not integrate
> Coq as well in trywhy3.
>
> Yet it raises the issue of storing and replaying the Coq proofs related
> to VCs. So f