It's just solarized, i imagine most developers are familiar with it

The benchmarks: https://github.com/bendlang/bend/tree/main/bench

The script we use to run them on our servers: https://github.com/bendlang/bend/blob/main/gates/perf.ts

If your game is big, then your proof will need to be huge. It works basically the same as Lean.

Old repo can be accessed here https://github.com/HigherOrderCO/Bend1 . I guess we could have it as a branch on the bend2 repo

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