(** Write your squirrel script here or start with a pre-loaded tutorial.
You can find them by clicking the file icon near the (?) icon *)

Goals
Loading, please wait...
Visualization

Waitting for prover data visualization.

Messages