Isabelle


Total Packages: 3

Popular Isabelle Packages See more »

elle:elle
Black-box transactional consistency checker, based on cycle detection
Latest release 0.1.2 - Updated - 351 stars
scyther-proof
scyther-proof is a security protocol verification tool based on an algorithm similar to the Scyth...
Latest release 0.10.0.1 - Updated - 8 stars

Updated Isabelle Packages See more »

elle:elle
Black-box transactional consistency checker, based on cycle detection
Latest release 0.1.2 - Updated - 351 stars
scyther-proof
scyther-proof is a security protocol verification tool based on an algorithm similar to the Scyth...
Latest release 0.10.0.1 - Updated - 8 stars

Top Isabelle Licenses

Apache-2.0 1 project

BSD-3-Clause-Attribution 1 project

CNRI-Python-GPL-Compatible 1 project

EPL-2.0 1 project

Top Isabelle Package Managers

Hackage 1 project

Maven 1 project

PyPI 1 project