cd/entity/PROOF.bend· home› entities› PROOF.bend
grep -l @proof.bend /news/*.json | wc -l → 1

PROOF.bend

mentions 1 type Organization feed RSS

// recent coverage 1 mentions

20:36
2026-09-17
bend-lang.com
ai-agents

Bend

Bend, a new programming language that compiles to native code and uses a Lean-style proof checker to block AI coding mistakes, has launched with an install script at bend-lang.com/install.sh. Bend run…

// co-occurs with top 7 entities
Bend 1 LAWS.bend 1 Claude 1 Lean 1 Rocq 1 bend-lang.com 1 GitHub 1
// topics top 4 topics
ai agents 1 developer tools 1 ai tools 1 artificial intelligence 1