KAJERO

Ln

Learning notes

No learning notes yet

proof can have a memory hint or question saved here.

Inferences: 96,333, CPU seconds: 0.128, Elapsed seconds: 0.137.