The Stacks Project, Formalized in Lean

2 comments

• eternauta3k 33 minutes ago
  Slightly off-topic, but how far are we from a formally verified stack for (say) a webdav or NFS server?
• breezybottom 19 minutes ago
  The fact that the description is AI slop doesn't inspire confidence in the results.