How to Search for Theorems in Lean 4 #1 Post by lakesare » Sat, Jul 05, 2025, 3:47 PM UTC How to Search for Theorems in Lean 4lakesare.brick.do