feat: tauSTr#220

Open

PieterCuijpers wants to merge 23 commits intoleanprover:mainfrom

PieterCuijpers:tauTr

Commits on Oct 17, 2025

Considering the transitively closed \tau relation
PieterCuijpers
committed
Completed introduction of tauTr, entire library builds correctly now. Removed some of the STrN theorems, as I think most of them are no longer necessary. Bisimulation theorems now complete using gr…
PieterCuijpers
committed
Perhaps keep those STrN theorems after all?
PieterCuijpers
committed

Commits on Jan 5, 2026

Commits on Jan 8, 2026

Removed STrN as it is no longer needed
PieterCuijpers
committed