Infmal es un prototipo de un sistema de demostraciones interactivas de teoremas del cálculo diferencial e integral en una variable, como resultado de la tesis de licenciatura del primer autor. Este sistema está basado en el trabajo desarrollado por Rolando Chuaqui y Patrick Suppes. Se propone un nuevo enfoque para las demostraciones del cálculo usando cálculo infinitesimal. Se afirma que éste enfoque es el más apropiado pues provee un sistema intuitivo, demostraciones claras y simples y ``transparencia'' al resolver problemas.