모든 플러그인으로 돌아가기

jacobian

@morluto

194 stars

소개

에이전트를 위한 구성 가능한 수학 도구.

설명은 원본에서 기계 번역되었습니다.

주제

ai-agentsautomated-theorem-provingcomputer-algebracordisdsherdoserdos-problemformal-methods