Show HN: Verified Deep Learning with Lean 4brettkoonce.github.io6 points·asparagui··0 commentsOpen articleSaveView on HN