A likely-correct list component / concept

1

Fellow Concept Designers,

I’ve created a list concept with formal and semi-formal methods to make it likely-correct and to enable rapid iteration.

https://www.osequi.com/studies/list/list.html

It’s a fresh take, your comments, observations are very welcome.

Thank you,
Csongor

2

Btw, it’s also related to this topic: Conceptual design as part of development process