nova-coder/leanprover-community--aesoppublic

White-box automation for Lean 4

Lean Updated 27 days ago 1 commits 404 stars
nova-coder|Mirror: leanprover-community/aesop (⭐404)
27 days ago

About

White-box automation for Lean 4

Readme
404 stars
60 forks