Presented by
SF Lean Meetup
Weekly presentations and discussions about formal methods, software verification, AI, and math. Beginners welcome!
Hosted By
2 Going
Bend: A Linear Proof Language That Matches C Performance and Runs on GPUs – Victor Taelin, HigherOrderCO
Registration
About Event
Abstract:
"Bend is a proof language whose programs run as fast as C on one core, and in parallel on GPUs. Its checker verifies proofs in seconds, so you can write large programs that are proven correct and still fast. I'll show how it works, and how its core relates to Lean."
Speaker: VictorTaelin
Bend: https://bend-lang.com
The SF Lean meetup: Weekly presentations and discussions about formal methods, software verification, AI, and math. Beginners welcome!
Website: https://sflean.group/
Join our Discord server: Join Discord Server
Location
Presented by
SF Lean Meetup
Weekly presentations and discussions about formal methods, software verification, AI, and math. Beginners welcome!
Hosted By
2 Going