CogLean: A library of cognitive theory in Lean

(github.com) by abrax3141 | Oct 19, 2026 | 1 comments on HN