Lib.rs

› Users #prusti #formal-verification #specification

prusti-devs

Joined crates-io 2 years ago. Joined GitHub 2 years ago.

GitHub
crates.io
Maintainer dashboard

prusti-devs created 4 crates

prusti-std

Sole owner since Sep 2022. Last updated a year ago.
prusti-contracts

Sole owner since Sep 2022. Last updated a year ago.
prusti-contracts-proc-macros

Sole owner since Sep 2022. Last updated a year ago.
prusti-specs

Sole owner since Sep 2022. Last updated a year ago.

Based on data from crates.io, GitHub, rustaceans.org, and other public sources. These pages are automatically generated for crates-io owners, and do not imply endorsement by either the Rust Project nor the users presented here.

Lib.rs is an unofficial list of Rust/Cargo crates, created by kornelski.