Lean Kernel Arena / tutorial/113_accRecNoEta

Test "tutorial/113_accRecNoEta"

Expected: ✋ reject · Size: 13.0 KB · Lines: 244 · lean4export: 3.1.0 · Lean: 4.27.0-rc1 · 📄 Declaration · 🔗 Source

Acc.rec does not have structure eta.

Checker Result ⏱️ 🧠
nanoda 2 ms 3.0 MB
nanobruijn 6 ms 10.5 MB
official-nightly 33 ms 57.2 MB
official 34 ms 66.3 MB
official-v4.28.0 40 ms 71.3 MB
lean4lean 102 ms 95.6 MB
mini 47 ms 70.3 MB
always-decline 🚫 1 ms 2.8 MB
always-reject 1 ms 2.8 MB
rpylean 3 ms 7.4 MB
parse-only 👍 38 ms 70.0 MB
always-accept 👍 1 ms 2.8 MB