The Stacks Project, Formalized in Lean

 (axiommath.ai)

21 points | by namanbnsl 1 hour ago

2 comments

  • eternauta3k 35 minutes ago
    Slightly off-topic, but how far are we from a formally verified stack for (say) a webdav or NFS server?
  • breezybottom 21 minutes ago
    The fact that the description is AI slop doesn't inspire confidence in the results.
    [-]
    • viccis 1 minute ago
      Slop Verbiage, Straight To Your HN Feed