3 ms·
https://news.ycombinator.com/item?id=38691437 https://news.ycombinator.com/item?id=38691437 - Dec 2023, 1 comment This only had the one previous submission but
by Jtsummers 1y ago
https://news.ycombinator.com/item?id=38691437 https://news.ycombinator.com/item?id=38691437 - Dec 2023, 1 comment
This only had the one previous submission but I found it interesting. The mentioned book, Program Proofs, is worth checking out if the topic and language interests you.