Ecosyste.ms: Packages

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

crates.io "deductive-reasoning" keyword

pearlite 0.1.0

Reserved for Creusot's pearlite language crate
1 version - Latest release: over 2 years ago - 399 downloads total - 968 stars on GitHub - 1 maintainer

Related Keywords

formal-methods 1 formal-verification 1 proof 1 rust 1 rust-lang 1 verification 1 why3 1