ac-exercises Solutions in Lean 4 to exercises from "Automatic complexity: a computable measure of irregularity", De Gruyter 2024.