leanprover-community / aesopLinks

White-box automation for Lean 4
301Updated 2 weeks ago

Alternatives and similar repositories for aesop

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

Sorting: