想要支持的证明大概是这样的 https://github.com/AxiomMath/IMO2026/blob/main/IMO2026/Q2/solution.lean
但是要做可视化
当前只有自然数的证明,效果在 https://bombless.github.io/prover-typescript/
我目前还在免费的 luna 上手工 loop 推进,还没提交
但是要做可视化
当前只有自然数的证明,效果在 https://bombless.github.io/prover-typescript/
我目前还在免费的 luna 上手工 loop 推进,还没提交