hwh-core

A minimal height–width core with formal constraints in Lean 4.

hwh-core cover image

Repository

github.com/harpertoken/hwh-core

Reflection

This project is deliberately small. The point is to practice making ideas precise: separate height from width, write down a few facts, and keep the surface area tiny.

Full text: REFLECTION.md

Today

2026-03-24

Lean (a personal perception)

Lean feels like a pressure test for ambiguity: if I cannot name something clearly, I usually cannot prove it. When it works, the result is calm: a small set of types, a few lemmas, and a build that means something.