feat: extrinsic finiteness proofs for loops on iterators#10863
Closed
datokrat wants to merge 11 commits intopaul/iterators/extrinsicfrom
Closed
feat: extrinsic finiteness proofs for loops on iterators#10863datokrat wants to merge 11 commits intopaul/iterators/extrinsicfrom
datokrat wants to merge 11 commits intopaul/iterators/extrinsicfrom
Commits
Commits on Dec 4, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
