package squirrel

No build information
  1. Overview
  2. No Docs
The Squirrel Prover is a proof assistant for protocols, based on first-order logic and provides guarantees in the computational model

Install 

dune-project
 Dependency

squirrel-prover.github.io Edit opam file Versions (1)

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

Description

Added to opam-repository:

Dependencies (7)

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

Dev Dependencies

None

Optional Dependencies

None

Used by

None

Conflicts

None

Build status

check.ci.ocaml.org has no results for any version of squirrel in its run of against opam-repository 8a77e58. check.ci only builds the packages that opam can install on its Linux image (Debian, x86_64). It leaves out packages for other systems, packages whose system library is missing from that image, and the packages that depend on them.