Repository navigation

Loops - #12

Draft

gaetanserre wants to merge 10 commits into

mainfrom

Draft

Loops#12
gaetanserre wants to merge 10 commits into
mainfrom
loops

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
Commits on Oct 14, 2026
- `MeasurableSpaceMonadWhile` extends `MeasurableSpaceMonad`
  gaetanserre
  committed
  c0f8f5b