Qurak
登入

FindEquationalProof

不可用

FindEquationalProof[thm, axms]
FindEquationalProof[thm, "theory"]
搜尋參考文件

相關

ProofObjectAxiomaticTheoryFullSimplifyReduceFindInstance

全部 6300 個函式 · 從 MCP 用戶端使用這個