Test "cslib"
Expected: 👍 accept · Size: 2.0 GB · Lines: 37.5 M · lean4export: 3.1.0 · Lean: 4.30.0 · 📄 Declaration · 🔗 Source
The Lean Computer Science Library (CSLib).
| Checker | Result | ⏱️ | 🧠 | |||
|---|---|---|---|---|---|---|
| mathgraph | 👍 | 43.4 s | (÷9.8) | 3.1 GB | (-13%) | |
| ind-models | 👍 | 8.3 m | (+17%) | 3.2 GB | (-12%) | |
| official-nightly | 👍 | 6.7 m | (-5%) | 3.1 GB | (-15%) | |
| evmlean | 🚫 | 0 ms | 0 B | |||
| nanoda | 👍 | 3.4 m | (÷2.1) | 2.3 GB | (-37%) | |
| mini | 🚫 | 0 ms | 0 B | |||
| lean4lean | 👍 | 9.6 m | (+35%) | 3.7 GB | (+3%) | |
| sokonanoda | 👍 | 46.2 s | (÷9.2) | 3.1 GB | (-14%) | |
| zignodamus | 👍 | 1.1 m | (÷6.5) | 3.0 GB | (-18%) | |
| nanoclo | 👍 | 2.2 m | (÷3.3) | 3.2 GB | (-12%) | |
| nanobruijn | 👍 | 3.7 m | (-48%) | 2.1 GB | (-43%) | |
| kiota | ✋ | 7.8 m | 5.3 GB | |||
| official | 👍 | 7.1 m | (0%) | 3.6 GB | (0%) | |
| vow-lean-kernel | 💥 | 1.5 m | 500.1 MB | |||
| rpylean | 👍 | 43.4 m | (×6.1) | 12.6 GB | (×3.5) | |
| official-v4.28.0 | 👍 | 9.2 m | (+30%) | 3.6 GB | (0%) | |
| still-nanoda | 👍 | 3.5 m | (÷2.1) | 2.3 GB | (-37%) | |
| nyaya | 🚫 | 0 ms | 0 B | |||
| parse-only | 👍 | 1.8 m | (÷4.0) | 3.5 GB | (-2%) |