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