Closed semorrison closed 2 months ago
In preparation for https://github.com/leanprover/lean4/pull/3969 landing, we fix some deprecation warnings.
In preparation for https://github.com/leanprover/lean4/pull/3969 landing, we fix some deprecation warnings.