home.social

#termrewriting — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #termrewriting, aggregated by home.social.

  1. Philip Zucker @[email protected] ·

    [New Blog Post] Bottom Up Egraph Ematching Plays Nicer with Theories (AC, etc) philipzucker.com/bottom_up/ #egraph #python #termrewriting

    #egraph #python #termrewriting
  2. Philip Zucker @[email protected] ·

    [New Blog Post] Bottom Up Egraph Ematching Plays Nicer with Theories (AC, etc) philipzucker.com/bottom_up/ #egraph #python #termrewriting

    #egraph #python #termrewriting
  3. Philip Zucker @[email protected] ·

    [New Blog Post] Bottom Up Egraph Ematching Plays Nicer with Theories (AC, etc) philipzucker.com/bottom_up/ #egraph #python #termrewriting

    #egraph #python #termrewriting
  4. Philip Zucker @[email protected] ·

    [New Blog Post] Bottom Up Egraph Ematching Plays Nicer with Theories (AC, etc) philipzucker.com/bottom_up/ #egraph #python #termrewriting

    #termrewriting #python #egraph
  5. Philip Zucker @[email protected] ·

    [New Blog Post] Bottom Up Egraph Ematching Plays Nicer with Theories (AC, etc) philipzucker.com/bottom_up/ #egraph #python #termrewriting

    #egraph #python #termrewriting