Skip to content
ECHIDNA Validation

feat(rust-cli): wire alias expansion + update project documentation #63

Sign in to view logs

feat(rust-cli): wire alias expansion + update project documentation

feat(rust-cli): wire alias expansion + update project documentation #63

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Lean 4 ↔ Rust Correspondence
52s
ECHIDNA Proof Verification
2m 27s
3m 19s