chessai/semirings

specialisations and rewrite rules

Closed this issue · 0 comments

specialisations and rewrite rules