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

(github.com) by abrax3141 | Nov 1, 2026 | 0 comments on HN