Lib.rs

› Users #verification #assert #cvlr #logic #certora #soroban

1arie1

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

GitHub
crates.io
Maintainer dashboard

1arie1 created 11 crates

cvlr-soroban

Sole owner since Mar 2025. Updated 3 days ago.
cvlr-soroban-derive

Sole owner since Mar 2025. Updated 3 days ago.
cvlr-soroban-macros

Sole owner since Mar 2025. Updated 3 days ago.
cvlr

Sole owner since Mar 2025. Updated 4 days ago.
cvlr-log

Sole owner since Mar 2025. Updated 4 days ago.
cvlr-macros

Sole owner since Mar 2025. Updated 4 days ago.
cvlr-hook

Sole owner since Mar 2025. Updated 4 days ago.
cvlr-early-panic

Sole owner since Mar 2025. Updated 4 days ago.
cvlr-mathint

Sole owner since Mar 2025. Updated 4 days ago.
cvlr-nondet

Sole owner since Mar 2025. Updated 4 days ago.
cvlr-asserts

Sole owner since Mar 2025. Updated 4 days 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.