Hacker News new | ask | show | jobs
Image Recognition with Lean 4 (github.com)
5 points by asparagui 110 days ago