Geeks
leanprover-community
/
aesop
White-box automation for Lean 4
Primary Language
Lean
Apache License 2.0
Apache-2.0
aesop GitHub
Markdown
Readme
60
Issues
191
Stargazers
7
Watchers
Watchers
david-christiansen
Copenhagen, Denmark
digama0
Chalmers University of Technology
drkostas
University of Tennessee, Knoxville
eemailme
jevinskie
Lafayette, Indiana
jhcloos
Seasawher
Proxima Technology
tomhoule
@grafbase