CalculadoraDePeano is a project mainly written in Python, it's free.

Código em Python para a realização de operações matemáticas conforme os axiomas de Peano.