---
title: "loop invariant"
source: https://www.jemoka.com/posts/kbhloop_invariant/
type: stub
---

# loop invariant

*This page exists as a stub — linked to from other notes but not yet written.*

[View on jemoka.com](https://www.jemoka.com/posts/kbhloop_invariant/)
