Skip to content

v1.4.0

Compare
Choose a tag to compare
@github-actions github-actions released this 03 Aug 12:26
· 533 commits to master since this release
f1f1569

Metatheory v1.4.0

Diff since v1.3.4

Closed issues:

  • Unable to saturate (#124)

Merged pull requests: