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 | ⏱️ | 🧠 | |||
|---|---|---|---|---|---|---|
| still-nanoda | 👍 | 2.1 m | (-50%) | 1.5 GB | (-32%) | |
| sonanoda | 👍 | 2.1 m | (-48%) | 1.5 GB | (-32%) | |
| nanoda | 👍 | 1.9 m | (-53%) | 1.5 GB | (-32%) | |
| nanobruijn | 👍 | 2.1 m | (-48%) | 1.4 GB | (-33%) | |
| 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 | (0%) | |
| lean4lean | 👍 | 9.2 m | (+123%) | 2.1 GB | (-2%) | |
| rpylean | ✋ | 1.8 m | 14.1 GB | |||
| mini | 🚫 | 189 ms | 74.3 MB | |||
| always-decline | 🚫 | 1 ms | 2.8 MB | |||
| always-reject | ✋ | 1 ms | 2.8 MB | |||
| parse-only | 👍 | 1.2 m | (-71%) | 2.1 GB | (-3%) | |
| always-accept | 👍 | 1 ms | (-100%) | 2.8 MB | (-100%) |