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—