Saito, S., & Noguchi, M. (2023). Formalized Formal Logic [Computer software]. https://github.com/FormalizedFormalLogic/Foundation