v0.1.5

fix unsoundness bug in rewriting engine

v0.1.4

say start and end proof

v0.1.3

Merge pull request #6 from jcschuster/cleanup

Making things ready for SystemOnTPTP

v0.1.2

Release 0.1.2

The version prepared for SystemOnTPTP (Shot---0.1.2). The version the
Master's thesis describes stays 0.1.1, tag v0.1.1, DOI
10.5281/zenodo.23044601: CITATION.cff and the README name it explicitly,
while the badge and the top-level DOI move to the concept DOI
10.5281/zenodo.23044599, which covers every version.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

v0.1.1

Citation metadata (CITATION.cff, .zenodo.json) for archiving on Zenodo; no functional changes.

v0.1.0 (thesis release)

Delete .claude directory