Overview
A Lean 4 constraint-layout core with no dependencies. The Hwh library provides Dim, Layout, and Rect types, and the hwh_core executable runs them, with design notes in REFLECTION.md.
Installation
git clone https://github.com/coccinella-labs/hwhcore