Comment on Formally proving a calculation with Claude and Lean by David Roberts
David Robert
·
2026-06-12
·
via Comments for John D. Cook
I would hope that if those sorries really are just addressable by recourse to standard mathlib material, Clau…
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。
