language-tamarin
Support for the Tamarin theorem prover
hoheinzollern 366 0 0.2.1 MIT GitHub

Keywords

  • spthy
  • theorem
  • protocol
  • TLS

language-tamarin package

Support for the Tamarin theorem prover.