Bend: A fast language that blocks AI mistakes via proof

1 pointsposted 12 hours ago
by airhangerf15
(github.com)

No comments yet