Automatic Complexity
This Lean project contains solutions to the exercises in the book Automatic complexity: a computable measure of irregularity published by de Gruyter, and excerpts from the book itself.
This Lean project contains solutions to the exercises in the book Automatic complexity: a computable measure of irregularity published by de Gruyter, and excerpts from the book itself.