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

Experiments on automation for Lean

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

About

Experiments on automation for Lean

Readme
187 stars
32 forks