Skip to content
Check for too-big Lean imports

fix: repair many examples in manual to run in isolation #958

Sign in to view logs

fix: repair many examples in manual to run in isolation

fix: repair many examples in manual to run in isolation #958

check-lean-files

check-lean-files
succeeded Oct 16, 2025 in 4s