algebra-tactic Software

@misc{dagstuhl-artifact-27124,
   title = {{algebra-tactic}}, 
   author = {Mellendijk, Arend},
   note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:c939acdbc385233836c284ca55f264661c444c36;origin=https://github.com/amellendijk/algebra-tactic;visit=swh:1:snp:1ae7b2d2024fcbb577fe915ce6e3e8268ea25d74;anchor=swh:1:rev:3372ce1dc459f56e8de10abdfd51f3deaa4b0411}{\texttt{swh:1:dir:c939acdbc385233836c284ca55f264661c444c36}} (visited on 2026-07-16)},
   url = {https://github.com/amellendijk/algebra-tactic},
   doi = {10.4230/artifacts.27124},
}