G github.com CogLean: A library of cognitive theory in Lean 2 points abrax3141 11 days ago 2 comments
