nova-coder/leanprover-community--aesoppublic

White-box automation for Lean 4

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

About

White-box automation for Lean 4

Readme
404 stars
60 forks