About

Metadata

  • Last updated , by BertramFelgenhauer
  • License MIT
  • Maintained by: -

  • Lottery factor: 1

Links

Installation

Readme

Yet Another Term Rewriting Library.

This library provides basic data types and functionality for first order term rewriting.