Zulip Chat Archive

Stream: new members

Topic: hi

view this post on Zulip Alessandro (Mar 21 2021 at 14:41):

hi everybody. just read that lean was designed by leo... i'm the dev of Metatheory.jl and a big e-graph fan. Are e-graphs used for congruence closure or equational reasoning in lean?

Last updated: May 13 2021 at 05:21 UTC