CogLean: Towards a Cumulative, Machine-Checked Theory of Cognition
Article URL: https://github.com/jeffshrager/CogLean/tree/main/papers
Comments URL: https://news.ycombinator.com/item?id=50327048
Points: 1
# Comments: 0
相关文章
- How to Design a Guided Camera Flow People Actually Follow2026-11-03
- Fail closed on VPN path changes, Continuity handoffs, and Guided Access / Screen…2026-11-03
- Why a Folding Electric Bike Fits Real Life Better Than You Think2026-11-03
- Over 40% of Pull Requests Now Start With an Agent. Review Them Like It.2026-11-03
- How We Turned GitHub Activity Into a Living 3D Planet2026-11-03
- Kedr: a SACD ISO to FLAC app, written in Cursor2026-11-03