Closed jdreier closed 3 years ago
This PR supersedes https://github.com/tamarin-prover/manual/pull/66. It references to the Linux installation instructions using brew rather than apt-get and manual binary install to avoid Maude version problems.
This PR supersedes https://github.com/tamarin-prover/manual/pull/66. It references to the Linux installation instructions using brew rather than apt-get and manual binary install to avoid Maude version problems.