Skip to content

Use fuel for loop iterations only, simplify final proof with it#1

Merged
nomeata merged 1 commit intomainfrom simp!Oct 2, 2024

Commits

Commits on Sep 30, 2024