1 search result for "tag:"trs""

Showing 1 - 1
  1. Parsing library for the TRS format, the format for first-order rewrite systems
    1.0.0
    MIT
    Used by 0 other packages
    22 Oct 2024