leanprover-community / lean-autoLinks

Experiments on automation for Lean
123Updated 3 weeks ago

Alternatives and similar repositories for lean-auto

Users that are interested in lean-auto are comparing it to the libraries listed below

Sorting: