Skip to content
Check for too-big Lean imports

Check for too-big Lean imports #1956

Sign in to view logs

Check for too-big Lean imports

Check for too-big Lean imports #1956

Annotations

1 warning

Check for import Lean

Check for import Lean
succeeded Aug 10, 2026 in 4s