meiersi / scyther-proof

A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Test that scyther-proof still compiles with GHC 7.0.4

meiersi opened this issue · comments

I would expect it, but one cannot always be sure.