Our new X account is live! Follow @wizwand_team for updates
WorkDL logo mark

Theorem Proving on Metamath (test)

65.6Pass@8

Evariste

55.40858.05460.763.346May 23, 2022
Updated 4d ago

Evaluation Results

MethodLinks
2022.05
65.672.4
2022.05
55.861.2