4 ms·

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? Pr

by 12uq7 17d 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.

developedby 17d ago
Most of that is just the test suite. The actual code is about 10k lines