Bend – A language that blocks AI mistakes via proof, on CPU and GPU

Bend: a fast language that blocks AI mistakes via proof.