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

Theorem Proving on iset.mm (test)

398Proofs Found

HOLOPHRASM + MetaGen-IL

377.2382.6388393.4Feb 17, 2020
Updated 4d ago

Evaluation Results

MethodLinks
2020.02
398
2020.02
378