Márcio Flávio Souza, Márcia Oliveira, and Maria Alice Souza. 2024. Boolace: Educational Game to Help Teaching and Learning Propositional Logic. In Companion Proceedings of the 23rd Brazilian Symposium on Games and Digital Entertainment, September 30, 2024, Brasil. SBC, Porto Alegre, Brasil, 235-240. DOI: https://doi.org/10.5753/sbgames_estendido.2024.241746.