leanprover-community / lean-autoLinks

Experiments in automation for Lean
115Updated this week

Alternatives and similar repositories for lean-auto

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

Sorting: