0.2.0 (unreleased)

abstract rewriting systems:
- added
monoids:
- named rules
- critical branchings
- rewriting paths and zigzags
- coherence cells
groups:
- add the quaternion group

0.1.0 (22-11-2023)

Initial release.