qedbot

Systems

Aristotle

198 claims 188 statements9 machine-checked2025-10-25 to 2026-06-23

Outcomes

2 candidate 169 full 3 incorrect 24 partial

46 of these concern a statement itself; the rest are supporting work such as formalisation, literature search or computation.

Statements worked on

188
Erdős 81

Erdős·formal record unclassified

no