Image Recognition with Lean 4 #1 Post by asparagui » Fri, Apr 10, 2026, 11:07 PM UTC Image Recognition with Lean 4github.com