Skip to content

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

Merged
hyperpolymath merged 1 commit into
mainfrom
proofs/layer-1-0-slash-slash-closure
Jun 2, 2026
Merged

proofs(Layer 1.0): close slash-slash inductive case via mutual recursion (#113)#119
hyperpolymath merged 1 commit into
mainfrom
proofs/layer-1-0-slash-slash-closure

proofs(Layer 1.0): close slash-slash inductive case via mutual recurs…

1d4e263
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL completed Jun 2, 2026 in 2s

1 configuration not found

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.