squirrelversion

The Squirrel Prover is a proof assistant for protocols, based on first-order logic and provides guarantees in the computational model

AuthorDavid Baelde, Stéphanie Delaune, Charlie Jacomme, Adrien Koutsos, Solène Moreau
Published
Homepagehttps://squirrel-prover.github.io/
Issue Trackerhttps://github.com/squirrel-prover/squirrel-prover/issues
MaintainerCharlie Jacomme <charlie.jacomme@cispa.de>
Dependencies
Source [http] https://github.com/squirrel-prover/squirrel-prover/archive/0.1.tar.gz
md5=656660bb1321baf5bba4542fd6804835
sha512=5fafc20c2021f92f83819a2b3fe697acbda57d9863c9a902f2094821fd705fa1426abceaa9be6c8c4d2b6187be57b30cf37d7cb77c6b8de01a6c6ece97d77c3c
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/squirrel/squirrel.0.1/opam
No package is dependent