@hackage / tamarin-prover-theory

Term manipulation library for the tamarin prover.

Version Deprecated package0.8.6.0

About

Metadata

  • Last updated , by SimonMeier
  • License LicenseRef-GPL

  • Maintained by: Benedikt Schmidt <benedikt.schmidt@inf.ethz.ch>

  • Lottery factor: 0

Links

Installation

This package has been deprecated

Readme

This is an internal library of the Tamarin prover for security protocol verification (hackage.haskell.org/package/tamarin-prover).

This library provides the types to represent security protocol, and it implements the constraint solver.