Re:CogLean: A library of cognitive theory in Lean
by abrax3141 on Monday October 19, 2026 @02:52PM
(#50156352)
Also:
https://github.com/jeffshrager/ExecutableArchaeology/tree/ma...
[ Parent
| on HN ]
There are no comments on this comment yet.