How I documented a small Lean 4 colour and sensor library with twelve architecture views, including a review view of its limits.

Read More