leanprover-community / lean-autoLinks

Experiments on automation for Lean
127Updated 2 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: