Making reasoning easy to scrutinize:

https://gitlab.com/brlewis/solve-debate