#dependent-types

Wiki 1

• We Have Proof Automation Now Langley proves a zstd FSE table builder correct in Lean; LLMs wrote the proof in 20 minutes