Term Rewriting, E-graphs, Optimization, Equational Reasoning
No more posts from matmat's subscribed feeds.
Press ? anytime to show this help