Image Recognition with Lean 4https://github.com/brettkoonce/lean4-mlir/ by asparagui • 3 months ago 5 0 3 months agoGIgithub.com