tutorial/124_accRecReduction - Lean Kernel Arena

Test "tutorial/124_accRecReduction"

Expected: 👍 accept · Size: 13.0 KB · Lines: 243 · lean4export: 3.1.0 · Lean: 4.34.1 · 📄 Declaration · 🔗 Source

Acc.rec reduces on Acc.intro.

Checker	Result	⏱️	🧠
sokonanoda	👍	1 ms	39.8 MB
mathgraph	👍	1 ms	37.6 MB
nanoclo	👍	1 ms	53.4 MB
con-ron	👍	23 ms	60.7 MB
nanobruijn	👍	1 ms	11.7 MB
nanoda	👍	1 ms	3.2 MB
lazylean	👍	1 ms	21.7 MB
con-leche	👍	4 ms	22.4 MB
eink0rn	👍	2 ms	12.8 MB
official	👍	29 ms	66.0 MB
ind-models	👍	112 ms	107.6 MB
lean4lean	👍	29 ms	96.7 MB
tenet	👍	132 ms	44.8 MB
tenet-hs	👍	2 ms	10.3 MB
lean4cobol	👍	11 ms	13.8 MB
evmlean	👍	6.4 s	287.8 MB
mini	👍	44 ms	71.8 MB
overfull	👍	44.7 s	47.7 MB
metalean-slow	👍	70 ms	74.0 MB
tenet-jvm	👍	124 ms	65.0 MB
nanoclo-fortran	👍	2 ms	4.4 MB
kiota	👍	1 ms	9.2 MB
metalean-fast	👍	31 ms	74.6 MB
canonical-min	👍	389 ms	1.1 GB
rpylean	👍	1 ms	5.0 MB
vow-lean-kernel	👍	96 ms	8.7 MB
parse-only	👍	28 ms	66.2 MB