v1.0.0 – for Mathlib v4.33.0-rc1

Requires Mathlib v4.33.0-rc1 and toolchain leanprover/lean4:v4.33.0-rc1.

Add to a lakefile.lean with

require "descriptive-complexity" from git
  "https://github.com/PierreSenellart/descriptive-complexity" @ "v1.0.0"

See the compatibility table for
which version to use with which Mathlib.