nova-coder/leanprover-community--aesoppublic

White-box automation for Lean 4

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

About

White-box automation for Lean 4

Readme
404 stars
60 forks