@inproceedings{inproceedings04d44c76,
title   = {Exploring mathematical methodology},
author = {Meleiro, Juan Ferrer and Mariano, Hugo Luiz and Mendes, Caio de Andrade},
year = {2025},
publisher = {Sociedade Brasileira de Lógica - SBL},
booktitle   = {Brazilian Logic Conference - EBL 2025}
}