Home
/
Tags
/
lean
#
lean
1 page
search “lean”
↳ all tags
Wiki
1
We Have Proof Automation Now
Langley proves a zstd FSE table builder correct in Lean; LLMs wrote the proof in 20 minutes