#formal-verification
Wiki 1
- We Have Proof Automation Now Langley proves a zstd FSE table builder correct in Lean; LLMs wrote the proof in 20 minutes
talks 1
- PL Education in the Age of AI Shriram Krishnamurthi on teaching PL to the 90% who won't do research, confidence over proof, and what agentic coding leaves CS to teach