Skip to content

Merge pull request #11 from Project-Navi/refactor/proof-style-cleanup #6

Merge pull request #11 from Project-Navi/refactor/proof-style-cleanup

Merge pull request #11 from Project-Navi/refactor/proof-style-cleanup #6

Annotations

1 warning

scorecard  /  Scorecard analysis

succeeded Mar 29, 2026 in 32s