B brettkoonce.github.io Show HN: Verified Deep Learning with Lean 4 6 points asparagui 6 months ago 0 comments
