aesop
White-box automation for Lean 4
of 42 versions of aesop
1-20Sort by
Date
9264d54
9264d54
b357cea
5d50b08
v4.19.0v4.19.057185df
v4.19.0-rc2v4.19.0-rc22bcdf29
v4.18.0v4.18.0ec060e0
56a2c80
v4.17.0v4.17.0ba9a63b
44dab9f
caa2968
79402ad
2689851
v4.15.0v4.15.08b6048a
v4.15.0-rc1v4.15.0-rc15a0ec85
v4.14.0v4.14.045d016d
v4.14.0-rc1v4.14.0-rc15f93489
b20a886
28fa805
v4.12.0v4.12.0ad85095
v4.12.0-rc1v4.12.0-rc1