package squirrel

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

Install

Dune 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

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"

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct