Test "cslib"
Expected: 👍 accept · Size: 2.3 GB · Lines: 42.7 M · lean4export: 3.1.0 · Lean: 4.34.0 · Timeout: 30.0 m · 📄 Declaration · 🔗 Source
The Lean Computer Science Library (CSLib).
| Checker | Result | ⏱️ | 🧠 | |||
|---|---|---|---|---|---|---|
| sokonanoda | 👍 | 29.0 s | (÷18) | 2.9 GB | (-16%) | |
| mathgraph | 👍 | 46.5 s | (÷11) | 3.0 GB | (-12%) | |
| nanoclo | 👍 | 2.7 m | (÷3.3) | 2.6 GB | (-23%) | |
| con-ron | 👍 | 3.7 m | (÷2.3) | 3.4 GB | (0%) | |
| nanobruijn | 👍 | 4.3 m | (÷2.0) | 2.8 GB | (-18%) | |
| nanoda | 👍 | 4.4 m | (-49%) | 2.5 GB | (-28%) | |
| lazylean | 👍 | 4.6 m | (-47%) | 2.5 GB | (-26%) | |
| con-leche | 👍 | 8.2 m | (-5%) | 2.7 GB | (-22%) | |
| eink0rn | 👍 | 6.1 m | (-30%) | 5.8 GB | (+69%) | |
| official | 👍 | 8.6 m | (0%) | 3.4 GB | (0%) | |
| ind-models | 👍 | 9.7 m | (+13%) | 2.6 GB | (-23%) | |
| lean4lean | 👍 | 11.7 m | (+35%) | 4.0 GB | (+17%) | |
| tenet | 👍 | 8.7 m | (+1%) | 5.8 GB | (+72%) | |
| tenet-hs | 👍 | 10.2 m | (+18%) | 3.9 GB | (+16%) | |
| lean4cobol | ⌛ | 0 ms | 0 B | |||
| evmlean | 🚫 | 0 ms | 0 B | |||
| mini | 🚫 | 0 ms | 0 B | |||
| overfull | ⌛ | 0 ms | 0 B | |||
| metalean-slow | 🚫 | 1.5 m | 1.0 GB | |||
| tenet-jvm | 👍 | 4.9 m | (-44%) | 7.4 GB | (×2.2) | |
| nanoclo-fortran | 👍 | 12.0 m | (+39%) | 6.0 GB | (+78%) | |
| kiota | 🚫 | 0 ms | 0 B | |||
| metalean-fast | 💥 | 17.3 m | 6.6 GB | |||
| canonical-min | ✋ | 2.2 m | 4.8 GB | |||
| rpylean | ⌛ | 0 ms | 0 B | |||
| vow-lean-kernel | ⌛ | 0 ms | 0 B | |||
| parse-only | 👍 | 2.0 m | (÷4.3) | 3.4 GB | (0%) |