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