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.

Estimated changes