3 ms·
https://github.com/openai/cdc-lean https://github.com/openai/cdc-lean
by mmoskal 3mo ago
https://github.com/openai/cdc-lean https://github.com/openai/cdc-lean
- nilkn 3mo agoPerfect -- that's great to see. The proof strategy in Lean appears essentially identical to the natural language strategy (as much as is reasonably possible). I think this settles it!