Description

Published: 10 Feb 2022

Dependencies (7)

  1. conf-which build
  2. pcre
  3. menhir >= "20180523"
  4. alcotest
  5. ocamlgraph
  6. fmt >= "0.8.7"
  7. ocaml >= "4.10"

Reverse Dependencies

    None

Conflicts

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

Install

Documentation squirrel-prover.github.io Edit opam file

Authors

  1. D
    David Baelde, Stéphanie Delaune, Charlie Jacomme, Adrien Koutsos, Solène Moreau

Maintainers

  1. C
    Charlie Jacomme <charlie.jacomme@cispa.de>

Sources

0.1.tar.gz
md5=656660bb1321baf5bba4542fd6804835
sha512=5fafc20c2021f92f83819a2b3fe697acbda57d9863c9a902f2094821fd705fa1426abceaa9be6c8c4d2b6187be57b30cf37d7cb77c6b8de01a6c6ece97d77c3c