Test "mlir"
Expected: 👍 accept · Size: 28.8 MB · Lines: 576.3 k · lean4export: 3.1.0 · Lean: 4.27.0-nightly-2025-12-01 · 📄 Declaration · 🔗 Source
The main theorems from lean-mlir.
| Checker | Result | ⏱️ | 🧠 | |||
|---|---|---|---|---|---|---|
| still-nanoda | 👍 | 2.0 s | (-60%) | 68.0 MB | ||
| sonanoda | 👍 | 2.1 s | (-58%) | 70.1 MB | ||
| nanoda | 👍 | 2.0 s | (-60%) | 70.5 MB | ||
| nanobruijn | 👍 | 2.6 s | (-48%) | 88.2 MB | ||
| official-nightly | 👍 | 4.8 s | (-3%) | 104.1 MB | ||
| official | 👍 | 5.0 s | (0%) | 115.0 MB | ||
| official-v4.28.0 | 👍 | 5.5 s | (+12%) | 120.1 MB | ||
| lean4lean | 👍 | 7.0 s | (+40%) | 136.7 MB | ||
| rpylean | ✋ | 9.8 s | 1.2 GB | |||
| mini | 🚫 | 95 ms | 72.3 MB | |||
| always-decline | 🚫 | 1 ms | 2.8 MB | |||
| always-reject | ✋ | 1 ms | 2.8 MB | |||
| parse-only | 👍 | 1.8 s | (-64%) | 118.0 MB | ||
| always-accept | 👍 | 1 ms | (-100%) | 2.8 MB |