Aristotle 评测详情

Aristotle 当前已收录的代表性评测结果包括 ProofBench v1.1 (Lean 4)（13 / 53，得分 86）。