leanprover-community / lean-auto

Experiments in automation for Lean
Apache License 2.0
73 stars 12 forks source link

adaptations required for nightly-2024-02-18 #19

Closed kim-em closed 8 months ago

kim-em commented 9 months ago

These changes will be required when moving to v4.7.0-rc1.

It's fine to leave this unmerged until that arrives.