Untitled - Denise Vella-Chemla Conjecture de Goldbach

a programming language, it is a language for expressing proofs of mathematical theorems. ... declarations, without any need for traditional logic! I urge you to ...
57KB taille 4 téléchargements 280 vues