squirrelversion
The Squirrel Prover is a proof assistant for protocols, based on first-order logic and provides guarantees in the computational model
Author | David Baelde, Stéphanie Delaune, Charlie Jacomme, Adrien Koutsos, Solène Moreau |
---|---|
Published | |
Homepage | https://squirrel-prover.github.io/ |
Issue Tracker | https://github.com/squirrel-prover/squirrel-prover/issues |
Maintainer | Charlie Jacomme <charlie.jacomme@cispa.de> |
Dependencies |
|
Source [http] | https://github.com/squirrel-prover/squirrel-prover/archive/0.1.tar.gz md5=656660bb1321baf5bba4542fd6804835 sha512=5fafc20c2021f92f83819a2b3fe697acbda57d9863c9a902f2094821fd705fa1426abceaa9be6c8c4d2b6187be57b30cf37d7cb77c6b8de01a6c6ece97d77c3c |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/squirrel/squirrel.0.1/opam |
No package is dependent