leanprover-community / aesopLinks

White-box automation for Lean 4
274Updated last week

Alternatives and similar repositories for aesop

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

Sorting: