Security Audit

proofs(Layer 1.0): Idris2 stripping foundation — base cases + shape lemma #409

Sign in to view logs

Triggered via pull request June 2, 2026 17:22

opened #111

proofs/layer-1-0-strip-idempotence

Status Success

Total duration 3m 11s

Artifacts –

cargo-audit.yml

on: pull_request