Points Game Field Implementation in Lean Benchmark To build bench you will need to install dependencies with: MATHLIB_NO_CACHE_ON_UPDATE=1 lake update Build with: lake build bench Run with: time ./.lake/build/bin/bench --width 39 --height 32 --games-number 1000 --seed 7