The latest version of tamarin-prover-utils is 0.8.5.1-0.
tamarin-prover-utils
Version 0.8.4.0 revision 0 uploaded by BenediktSchmidt.
Package meta
- Synopsis
- Utility library for the tamarin prover.
- Description
This is an internal library of the Tamarin prover for security protocol verification (hackage.haskell.org/package/tamarin-prover).
- Author
- Benedikt Schmidt <benedikt.schmidt@inf.ethz.ch>, Simon Meier <simon.meier@inf.ethz.ch>
- Bug reports
- n/a
- Category
- Theorem Provers
- Copyright
- Benedikt Schmidt, Simon Meier, ETH Zurich, 2010-2012
- Homepage
- http://www.infsec.ethz.ch/research/software/tamarin
- Maintainer
- Simon Meier <simon.meier@inf.ethz.ch>
- Package URL
- n/a
- Stability
- n/a