Show HN: Verified Deep Learning with Lean 4 (brettkoonce.github.io) 6 points by asparagui 6mo ago ↗ HN
1 comment
[ 3.1 ms ] story [ 20.6 ms ] thread