Makes Julia reason with equations. General purpose metaprogramming, symb...
A pure, low-level tensor program representation enabling tensor program ...
EGraphs in OCaml