Beck, C. Existential Coinduction Experiments [Computer software]. https://github.com/Chobbes/existential-coinduction-experiments