logoalt Hacker News

The Stacks Project, Formalized in Lean

21 points • by namanbnsl • today at 4:16 PM • 3 comments • view on HN

Comments

eternauta3k • today at 5:15 PM

Slightly off-topic, but how far are we from a formally verified stack for (say) a webdav or NFS server?

breezybottom • today at 5:29 PM

The fact that the description is AI slop doesn't inspire confidence in the results.

➕ show 1 reply