Comment by 12uq7
12 hours ago
claude: 1 commit 1,722,119 ++0 --
I assume that Claude formally proved Bend correct like CakeML?
Why would anyone want to work with such a dystopian setup? Prove your code directly in Lean or Coq or leave it.
12 hours ago
claude: 1 commit 1,722,119 ++0 --
I assume that Claude formally proved Bend correct like CakeML?
Why would anyone want to work with such a dystopian setup? Prove your code directly in Lean or Coq or leave it.
Most of that is just the test suite. The actual code is about 10k lines