Consequence Proof Cockpit

Le cockpit qui montre ce qui a traversé malgré le NON : Gap Console, Consequence Graph, Replay et Evidence Tokens.