Aleph Prover 评测详情

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