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

Warning: Code scanning cannot determine the alerts introduced by this pull request, because 1 configuration present on refs/heads/main was not found:

Actions workflow (codeql.yml)

• ❓  /language:rust

View all branch alerts.