Qurak
登录

FindEquationalProof

不可用

FindEquationalProof[thm, axms]
FindEquationalProof[thm, "theory"]
搜索参考

相关

ProofObjectAxiomaticTheoryFullSimplifyReduceFindInstance

全部 6300 个函数 · 从 MCP 客户端使用