❌ Build Failed: LeanMetaCompute

Error Summary

Project build failed

Toolchain Information

Project Toolchainleanprover/lean4:v4.28.0
doc-verification-bridge Toolchainunknown
Status✓ Compatible

✓ Project uses leanprover/lean4:v4.28.0 (supported range: v4.24.0 - v4.29.0)

📋 View command log (YAML)

Full Build Log

error: unknown target `LeanMetaCompute`

← Back to Summary