🦎 Tamarin Prover ローカルデモ

入力 (.spthy)

結果 (tamarin-prover --prove)

ここに検証結果が表示されます。