Towards Pen-and-Paper-Style Equational Reasoning in Interactive Theorem Provers by Equality Saturation (via saulshanabrook) — discussion

#formalmethods #pdf #plt