feat: tauSTr (restart)#444

Merged

fmontesi merged 1 commit intoleanprover:mainfrom

PieterCuijpers:tauTr_take2

Mar 23, 2026

Commits on Mar 19, 2026

Restarted the introduction of tauTrans after several changes were made in Semantics/LTS/Basic that messed with my progress.
PieterCuijpers
committed