Mnist-Lean4(github.com)2 points·by asparagui·4 เดือนที่ผ่านมา·0 commentsgithub.comMnist-Lean4https://github.com/brettkoonce/mnist-lean40 commentsPost comment—