Isabelle

Isabelle é um programa de computador utilizado para processar fórmulas matemáticas. Foi desenvolvido por um Lawrence C. Paulson e Tobias Nipkow. Trata-se de um ambiente de demonstrações que permite a representação e o uso de diversos sistemas como Pure, ZF, FOL, estruturado por uma metalógica intuicionista de ordem superior. Ao todo, é 1 trabalho reconhecido no cinema. No Cinestia você acompanha a filmografia completa de Isabelle — 1 filme — e onde assistir a cada título.