jeffshrager/CogLean

A Mathlib-style library of cognitive theory in Lean 4: theories as postulates, phenomena as checked theorems

1 best points · 0 comments · 1 Hacker News post · 2 GitHub stars · View on GitHub

Hacker News discussions

• CogLean: Towards a Cumulative, Machine-Checked Theory of Cognition (1 points, 0 comments, by abrax3141, 2026-11-01)