aesop
White-box automation for Lean 4
of 46 versions of aesop
1-20Sort by
Date
c3a19fa
f042486
v4.21.0-rc3v4.21.0-rc3fa98745
v4.21.0-rc2v4.21.0-rc2c548baa
v4.21.0-rc1v4.21.0-rc1ddfca78
v4.20.0v4.20.09264d54
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-rc1