leanprover-community / aesopLinks

White-box automation for Lean 4
275Updated this week

Alternatives and similar repositories for aesop

Users that are interested in aesop are comparing it to the libraries listed below

Sorting: