1 search result for "tag:"trs""

Showing 1 - 1
  1. trs

    No documentation

    Parsing library for the TRS format, the format for first-order rewrite systems
    trs rewrite systems
    Soichi Yajima
    1.0.0
    MIT
    Used by 0 other packages
    22 Oct 2024