Desenvolvimento de um interpretador de expressões de teoria dos conjuntos para fins didáticos - Reis, Fellipe de Souza (2023)