Loops - #12

Draft

gaetanserre wants to merge 9 commits into

mainfrom

Commits on Sep 23, 2026

Nested loops
gaetanserre
committed
718ea04
While loop (no measure)
gaetanserre
committed
1b9f9b2

Commits on Sep 24, 2026

`MeasurableSpaceMonadWhile`
gaetanserre
committed
386bf78
Bind lemmas
gaetanserre
committed
07111bd

Commits on Sep 28, 2026

Lemmas on while loops
gaetanserre
committed
6aa7f12

Commits on Sep 30, 2026

Variant rules for termination
gaetanserre
committed
ae7d0d1
Less rules
gaetanserre
committed
79f51f7
LoopInvariant
gaetanserre
committed
d591a17

Commits on Oct 1, 2026

WIP terminates
gaetanserre
committed
92d4199