leanprover-community / aesop

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

Avoid dependency on Std #120

Open JLimperg opened 6 months ago

JLimperg commented 6 months ago

In the medium term, we want to remove Aesop's dependency on Std so that Aesop can be used in Std.

This requires two things:

See private conversation with Scott Morrison on Zulip.