JAPE. O JAPE é uma aplicação onde o usuário pode realizar provas de teoremas através de uma interface gráfica razoavelmente amigável. Um dos sistemas dedutivos suportadas pela aplicação é dedução natural, ensinada no curso.