Test "cslib"
Expected: 👍 accept · Size: 1.2 GB · Lines: 22.8 M · lean4export: 3.1.0 · Lean: 4.27.0-rc1 · 📄 Declaration · 🔗 Source
The Lean Computer Science Library (CSLib).
| Checker | Result | ⏱️ | 🧠 | ||
|---|---|---|---|---|---|
| sonanoda | 👍 | 1.9 m | (-54%) | 1.5 GB | (-32%) |
| nanoda | 👍 | 1.9 m | (-53%) | 1.5 GB | (-32%) |
| nanobruijn | 👍 | 2.1 m | (-49%) | 1.4 GB | (-34%) |
| official-nightly | 👍 | 4.0 m | (-3%) | 2.1 GB | (0%) |
| official | 👍 | 4.1 m | (0%) | 2.1 GB | (0%) |
| official-v4.28.0 | 👍 | 4.8 m | (+16%) | 2.1 GB | (+1%) |
| lean4lean | 👍 | 9.2 m | (+123%) | 2.1 GB | (-1%) |
| mini | 🚫 | 191 ms | 74.0 MB | ||
| always-decline | 🚫 | 1 ms | 2.8 MB | ||
| always-reject | ✋ | 1 ms | 2.8 MB | ||
| rpylean | ✋ | 42.0 s | 5.7 GB | ||
| parse-only | 👍 | 1.2 m | (-71%) | 2.1 GB | (-3%) |
| always-accept | 👍 | 1 ms | (-100%) | 2.8 MB | (-100%) |