Live data from Hacker News

Show HN: Verified Deep Learning with Lean 4

brettkoonce.github.io

Post reply on HN

Print view View original

1–2 of 2 posts

Show HN: Verified Deep Learning with Lean 4

#1

Post by asparagui » Tue, Apr 21, 2026, 4:03 PM UTC

Show HN: Verified Deep Learning with Lean 4
brettkoonce.github.io

Re: Show HN: Verified Deep Learning with Lean 4

#2

Post by asparagui » Tue, Apr 21, 2026, 4:03 PM UTC

[dead]

Post reply on HN