Verified Deep Learning with Lean 4

(brettkoonce.github.io) by asparagui | Apr 21, 2026 | 0 comments on HN