3 ms·
The same people had the presentation at POPL that’s a good introduction to equality saturation. https://youtu.be/6cJMI9z2TeU https://youtu.be/6cJMI9z2TeU
by hinoki 3y ago
The same people had the presentation at POPL that’s a good introduction to equality saturation.
https://youtu.be/6cJMI9z2TeU https://youtu.be/6cJMI9z2TeU