dsh-turn-rewind
@Anionex
DSH - 영구 Change Ledger를 기반으로 대화 및 워크스페이스 상태를 되감습니다.
jacobian
40 stars
소개
에이전트를 위한 순수 수학: 예시와 반례를 검색하고, 정확하게 계산하며, 결과가 무엇을 증명하는지 독립적으로 확인합니다.
설명은 원본에서 기계 번역되었습니다.
주제
ai-agentsautomated-theorem-provingcomputer-algebracordisdshformal-methodsformal-verificationlean4
