Image Recognition with Lean 4(github.com)5 points·by asparagui·3개월 전·0 commentsgithub.comImage Recognition with Lean 4https://github.com/brettkoonce/lean4-mlir/0 commentsPost comment—