1 search result for "author:"Soichi Yajima""

Showing 1 - 1
  1. trs
    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
    Added to opam-repository