Proof library moved
The proof corpus dashboard (catalog vs Lean, divergence, human votes) lives in the dedicated proof-library repository — separate from benchmark wall-clock performance.
Performance, security, and correctness across the Li ecosystem
The proof corpus dashboard (catalog vs Lean, divergence, human votes) lives in the dedicated proof-library repository — separate from benchmark wall-clock performance.