CogLean: Towards a Cumulative, Machine-Checked Theory of Cognition

CogLean offers a machine‑checked cumulative theory of cognition, enabling systematic verification of cognitive models and hypotheses. A practical adoption path