∎ ProvingConsole

New proof

Anonymous workspace · fixed Kimi K3 · Plain only

Kimi K3 Plain Ready
Input

0
K3 Kimi K3via Plain · no tools
Current run
No run started

Proof preview will appear here.

Enter a problem and press Prove. The result and activity update automatically.