Implement higher order rewriting, lambda abstractions, and machine numbers

mlaveaux / mCRL2-rust

A rust wrapper for the library functionality of the mCRL2 toolset

https://mlaveaux.github.io/mCRL2-rust/

Boost Software License 1.0

0 stars 0 forks source link

Implement higher order rewriting, lambda abstractions, and machine numbers #10

Open mlaveaux opened 6 months ago

mlaveaux commented 6 months ago

There are several features in the mCRL2 rewriter that are not supported by Sabre that could be included. Some of them are not even supported by the matching algorithm, whereas others could be implemented orthogonally.