1 post
Bend is a parallel language, not a proof assistant. What proof-based programming actually does for AI safety, and the errors it can't touch.
