Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

crates.io "deductive-reasoning" keyword

View the packages on the crates.io package registry that are tagged with the "deductive-reasoning" keyword.

creusot-contracts-dummy 0.4.0
Dummy proc macros for creusot-contracts
5 versions - Latest release: 5 months ago - 4.78 thousand downloads total - 1,307 stars on GitHub - 2 maintainers
why3 0.5.0
Why3 AST and pretty printers
4 versions - Latest release: 3 months ago - 2.53 thousand downloads total - 1,307 stars on GitHub - 2 maintainers
creusot-contracts 0.5.0
Provides contracts and logic helpers for Creusot
6 versions - Latest release: 3 months ago - 5.28 thousand downloads total - 1,307 stars on GitHub - 2 maintainers
creusot-contracts-proc 0.5.0
Proc macro crate for creusot-contracts
6 versions - Latest release: 3 months ago - 5.37 thousand downloads total - 1,307 stars on GitHub - 2 maintainers
pearlite-syn 0.5.0
A syn parser for the Pearlite specification language in Creusot
6 versions - Latest release: 3 months ago - 5.4 thousand downloads total - 1,307 stars on GitHub - 2 maintainers
pearlite 0.1.0
Reserved for Creusot's pearlite language crate
1 version - Latest release: over 3 years ago - 1.34 thousand downloads total - 1,294 stars on GitHub - 2 maintainers
Related Keywords
formal-methods 6 formal-verification 6 proof 6 rust 6 rust-lang 6 verification 6 why3 6