search

leanprover-community / aesop

White-box automation for Lean 4
Apache License 2.0
192 stars 26 forks source link

chore: fix imports #86

Closed fgdorais closed 10 months ago

fgdorais commented 10 months ago

This is a pre-patch for std4#379. It only replaces some imports by more precise ones. It is intended to be applied before std4#379, that will prevent breakage if and when that PR happens and it is otherwise completely harmless for aesop.

JLimperg commented 10 months ago

Thanks!