package squirrel
The Squirrel Prover is a proof assistant for protocols, based on first-order logic and provides guarantees in the computational model
Install
Dune Dependency
Authors
Maintainers
Sources
0.1.tar.gz
md5=656660bb1321baf5bba4542fd6804835
sha512=5fafc20c2021f92f83819a2b3fe697acbda57d9863c9a902f2094821fd705fa1426abceaa9be6c8c4d2b6187be57b30cf37d7cb77c6b8de01a6c6ece97d77c3c