Metadata
Author: WikiMatrix
Data
French[fr]
Une démonstration formelle est une interprétation complète d'une démonstration mathématique dans un système formel.
Portuguese[pt]
Uma prova formal é uma versão completa de uma prova matemática dentro de um sistema formal.