Updated 1w ago A Perfectable Programming Language: Understanding Lean, Verification, and Limits Technology Ingrid Sollberger Apr 18 3 min read
Updated 1w ago Lean proved this program correct; then I found a bug Technology Zoe Castellano Apr 15 6 min read