Skip to content
Security Audit

proofs(Layer 1.0): close slash-slash inductive case via mutual recursion (#113) #415

Sign in to view logs

proofs(Layer 1.0): close slash-slash inductive case via mutual recursion (#113)

proofs(Layer 1.0): close slash-slash inductive case via mutual recursion (#113) #415

Triggered via pull request June 2, 2026 19:12
@hyperpolymathhyperpolymath
opened #119
proofs/layer-1-0-slash-slash-closure
Status Success
Total duration 14m 28s
Artifacts –

cargo-audit.yml

on: pull_request
Cargo Audit
2m 53s
Cargo Audit
Fit to window
Zoom out
Zoom in