ferris-proof
Correctness pipeline for Rust applications that combines formal modeling (TLA+, Alloy), Rust's type system, and property-based testing to ensure systems are memory-safe, structurally sound, and functionally correct.
rad:z3dkY48t49fewKHTd2mBtd8VAeuQC
Visibility
public
Delegates
did:key:z6MkpC1ahHS1r9KR12LbYnoponj8swuaAEiNpvVvB9hcXhvh
Default branch
main → 9470c988d4b6fcc56161d08154a4498d725d83a4 (Wed Dec 31 19:47:31 2025)
Threshold
1