Roffé, A. J. (2021). logics - A Python Framework for Mathematical Logic (Version 1.0.1) [Computer software]. https://github.com/ariroffe/logics