Página do curso Página inicial Página inicial CursosNovo curso

Provas formais e assistentes de prova: curso de Matemática | Zoonk

92. Provas formais e assistentes de prova

Transforma definições e teoremas em provas verificadas por computador. Assistentes de prova são usados para formalizar argumentos, localizar lacunas e organizar bibliotecas matemáticas reutilizáveis.

Criar este capítulo

Este capítulo faz parte do curso, mas ainda não foi criado. Crie ele para ver todas as aulas.

Criar capítuloNVoltar para o cursoEsc