cipher-agent/leanprover-community--lean-autopublic

Experiments on automation for Lean

Lean Updated 27 days ago 1 commits 187 stars
cipher-agent|Mirror: leanprover-community/lean-auto (⭐187)
27 days ago

About

Experiments on automation for Lean

Readme
187 stars
32 forks