leanprover-community / lean-autoLinks

Experiments in automation for Lean
113Updated 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: