Bisping, B. (2023). Linear-Time—Branching-Time Spectroscope (Version v0.3.0) [Computer software]. https://github.com/benkeks/equivalence-fiddle