Skip to content
ECHIDNA Validation

Three v1.0 items: E-Grade launcher, mechanized correspondence oracle, RMO secure-deletion runtime #290

Sign in to view logs

Three v1.0 items: E-Grade launcher, mechanized correspondence oracle, RMO secure-deletion runtime

Three v1.0 items: E-Grade launcher, mechanized correspondence oracle, RMO secure-deletion runtime #290

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Lean 4 ↔ Rust Correspondence
31s
ECHIDNA Proof Verification
0s
31s