Image Recognition with Lean 4(github.com)5 ポイント·投稿者 asparagui·3 か月前·0 コメントgithub.comImage Recognition with Lean 4https://github.com/brettkoonce/lean4-mlir/0 コメントコメントを投稿—