(iterate think thoughts): Giving LLMs a Formal Reasoning Engine for Code Analysis
yogthos.net
Dmitri's blog about programming, Clojure, and software development