5 ms·
https://github.com/openai/cdc-lean https://github.com/openai/cdc-lean
by mmoskal 2mo ago
https://github.com/openai/cdc-lean https://github.com/openai/cdc-lean
- nilkn 2mo 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!