Filosofia, base rigorosamente formal pras linguagens de programação (funcionais), interpretação computacional de resultados matemáticos, provas como programas, ambiente perfeito pra construir provadores de teoremas... o setting construtivo junta tudo de bom.
1 day ago