Live Feed
Minutiae
Live telemetry from the proof engine.
Connecting…
Theorem —
Elapsed —
Iteration —
Updated —
Engine Pipeline
ARCHITECT
Gemini · formulates search
→
SA SEARCH
island model · 8 workers
→
Z3 / LNS
exact finisher
→
LEAN 4
kernel verifier
Current State
activity —
progress —
Event Log
Waiting for data…