Test "cslib"
Expected: 👍 accept · Size: 2.0 GB · Lines: 37.5 M · lean4export: 3.1.0 · Lean: 4.30.0 · Timeout: 30.0 m · 📄 Declaration · 🔗 Source
The Lean Computer Science Library (CSLib).
| Checker | Result | ⏱️ | 🧠 | |||
|---|---|---|---|---|---|---|
| mathgraph | 👍 | 39.5 s | (÷10) | 2.7 GB | (-13%) | |
| sokonanoda | 👍 | 41.4 s | (÷9.8) | 2.9 GB | (-7%) | |
| nanoclo | 👍 | 2.2 m | (÷3.1) | 2.5 GB | (-20%) | |
| con-ron | 👍 | 3.1 m | (÷2.2) | 3.4 GB | (+9%) | |
| lazylean | 👍 | 3.5 m | (-49%) | 2.3 GB | (-24%) | |
| nanoda | 👍 | 3.4 m | (-50%) | 2.3 GB | (-27%) | |
| nanobruijn | 👍 | 3.5 m | (-48%) | 2.6 GB | (-17%) | |
| con-leche | 👍 | 6.9 m | (+2%) | 3.3 GB | (+8%) | |
| eink0rn | 👍 | 4.9 m | (-27%) | 5.2 GB | (+69%) | |
| ind-models | 👍 | 8.3 m | (+23%) | 3.2 GB | (+2%) | |
| official | 👍 | 6.7 m | (0%) | 3.1 GB | (0%) | |
| lean4lean | 👍 | 9.1 m | (+35%) | 3.6 GB | (+18%) | |
| tenet | 👍 | 6.8 m | (+1%) | 5.3 GB | (+71%) | |
| nanoclo-fortran | 👍 | 10.9 m | (+62%) | 6.0 GB | (+95%) | |
| lean4cobol | ⌛ | 0 ms | 0 B | |||
| evmlean | 🚫 | 0 ms | 0 B | |||
| mini | 🚫 | 0 ms | 0 B | |||
| overfull | 💥 | 1.4 m | 19.3 MB | |||
| kiota | ✋ | 34.3 m | 3.6 GB | |||
| canonical-min | ✋ | 2.0 m | 4.5 GB | |||
| rpylean | ⌛ | 0 ms | 0 B | |||
| vow-lean-kernel | 💥 | 1.1 m | 421.2 MB | |||
| official-v4.28.0 | 👍 | 9.2 m | (+37%) | 3.6 GB | (+17%) | |
| still-nanoda | 👍 | 3.5 m | (-49%) | 2.3 GB | (-27%) | |
| nyaya | 🚫 | 0 ms | 0 B | |||
| parse-only | 👍 | 1.8 m | (÷3.8) | 3.1 GB | (0%) |