loop-comprehension-toolbox A suite of tools to reason about loops. For more details see https://ensoftcorp.github.io/loop-comprehension-toolbox/.