How to Search for Theorems in Lean 4lakesare.brick.do4 points·lakesare··0 commentsOpen articleSaveView on HN