Souza, M., Oliveira, M., & Souza, M. 2024 Sep 30. Boolace: Educational Game to Help Teaching and Learning Propositional Logic. Companion Proceedings of the Brazilian Symposium on Computer Games and Digital Entertainment (SBGames). [Online] :