Chain 08/16/2026 (Sun) 05:26 Id: ff788e No.197822 del
(551.76 KB 1280x1499 Screenshot_20260816-012459.png)
>>197815
Yup

>>197814
LLMs often write proofs in Lean.

>>197820