Hacker News new | ask | show | jobs
Mnist-Lean4 (github.com)
2 points by asparagui 89 days ago