Commit 2024-05-09 08:07 ad9935b3
View on Github →chore: fix deprecation warnings (#12775) In preparation for https://github.com/leanprover/lean4/pull/3969 landing, we fix some deprecation warnings.
chore: fix deprecation warnings (#12775) In preparation for https://github.com/leanprover/lean4/pull/3969 landing, we fix some deprecation warnings.