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.
A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
meiersi opened this issue · comments
I would expect it, but one cannot always be sure.