aesop
White-box automation for Lean 4
of 26 versions of aesop
1-20Sort by
Date
b20a886
b20a886
28fa805
v4.12.0v4.12.0ad85095
v4.12.0-rc1v4.12.0-rc1deb279e
v4.11.0v4.11.0ae6ea60
v4.11.0-rc1v4.11.0-rc1209712c
v4.10.0v4.10.0a64fe24
v4.10.0-rc1v4.10.0-rc106cca4b
v4.9.0v4.9.08a2b60a
v4.9.0-rc1v4.9.0-rc153ba96a
v4.8.0v4.8.0e8c8a42
v4.8.0-rc2v4.8.0-rc20a21a48
v4.8.0-rc1v4.8.0-rc15fefb40
v4.7.0v4.7.08be30c2
v4.7.0-rc2v4.7.0-rc2ae76973
v4.6.1v4.6.1056ca0f
c51fa8e
6beed82
v4.6.0-rc1v4.6.0-rc1cebd10b