描述
Writes rigorous mathematical proofs for ML/AI theory. Use when asked to prove a theorem, lemma, proposition, or corollary, fill in missing proof steps,…
研究学习 / 检索整理
proof-writer
proof-writer
安装量 124GitHub Stars 9,474更新时间 2026年5月16日
安全审计
使用前的风险提示
规则审计
未审计更新 1年1月1日
智能审计
未审计更新 1年1月1日
uiproofwriterwritesrigorousmathematicalproofsfortheoryaskedprovetheorem