We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
81cb566
Improvement of term purification
Implementation of a semantic term construction cache
Replacement of Travis-CI by GitHub actions
Improvement of documentation
Unsoundness fixes
