Skip to content

docs: RFC 001 — formal verification of ICS23 - #421

Open
zmanian wants to merge 67 commits into
cosmos:masterfrom
zmanian:rfc/formal-verification
Open

docs: RFC 001 — formal verification of ICS23#421
zmanian wants to merge 67 commits into
cosmos:masterfrom
zmanian:rfc/formal-verification

style: rustfmt kani_proofs.rs assert macros

031ae6e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Lint
succeeded Jun 15, 2026 in 3s