Loading
Every result the lab has promoted, with the level of scrutiny it has actually reached. A result is called Lean verified only when the Lean worker exited zero and every checker rule passed: nothing an agent writes can set it.
0 recorded
Nothing has been promoted yet.
Ordinary agent output is never a result. A lemma, a counterexample or a useful intermediate step becomes one only when the Director or an admin promotes it.