Lean Kernel Arena / tutorial/124_accRecReduction

Test "tutorial/124_accRecReduction"

Expected: 馃憤 accept 路 Size: 13.4鈥疜B 路 Lines: 252 路 lean4export: 3.1.0 路 Lean: 4.29.1 路 馃搫 Declaration 路 馃敆 Source

Acc.rec reduces on Acc.intro.

Checker Result 鈴憋笍 馃
mathgraph 馃憤 1鈥痬s 37.6鈥疢B
sokonanoda 馃憤 1鈥痬s 35.7鈥疢B
nanoclo 馃憤 1鈥痬s 47.5鈥疢B
con-ron 馃憤 23鈥痬s 60.7鈥疢B
lazylean 馃憤 2鈥痬s 21.3鈥疢B
nanoda 馃憤 1鈥痬s 3.0鈥疢B
nanobruijn 馃憤 1鈥痬s 9.7鈥疢B
con-leche 馃憤 4鈥痬s 20.0鈥疢B
eink0rn 馃憤 2鈥痬s 12.2鈥疢B
ind-models 馃憤 69鈥痬s 105.9鈥疢B
official 馃憤 29鈥痬s 66.0鈥疢B
lean4lean 馃憤 29鈥痬s 96.2鈥疢B
tenet 馃憤 132鈥痬s 44.2鈥疢B
nanoclo-fortran 馃憤 2鈥痬s 4.4鈥疢B
lean4cobol 馃憤 11鈥痬s 13.7鈥疢B
evmlean 馃憤 7.4鈥痵 156.7鈥疢B
mini 馃憤 45鈥痬s 70.1鈥疢B
overfull 馃憤 46.4鈥痵 47.7鈥疢B
kiota 馃憤 1鈥痬s 9.1鈥疢B
canonical-min 馃憤 388鈥痬s 1.1鈥疓B
rpylean 馃憤 1鈥痬s 5.0鈥疢B
vow-lean-kernel 馃憤 96鈥痬s 8.3鈥疢B
official-v4.28.0 馃憤 35鈥痬s 73.0鈥疢B
still-nanoda 馃憤 1鈥痬s 3.2鈥疢B
nyaya 馃憤 4鈥痬s 10.6鈥疢B
parse-only 馃憤 28鈥痬s 65.2鈥疢B