Developing proof theory for proof exchange

M Manighetti - 2023 - theses.hal.science
The mechanized verification of mathematical proofs is an application of computational logic
that is of importance in both mathematics and computer science. These applications range …
被引用次数：2 相关文章

Developing proof theory for proof exchange

M Manighetti - 2023 - inria.hal.science
The mechanized verification of mathematical proofs is an application of computational logic
that is of importance in both mathematics and computer science. These applications range …

Developing proof theory for proof exchange

M Manighetti - 2023 - hal-ciheam.iamm.fr
The mechanized verification of mathematical proofs is an application of computational logic
that is of importance in both mathematics and computer science. These applications range …

Developing proof theory for proof exchange

M Manighetti - 2023 - polytechnique.hal.science
The mechanized verification of mathematical proofs is an application of computational logic
that is of importance in both mathematics and computer science. These applications range …

Developing proof theory for proof exchange

M Manighetti - 2023 - theses.fr
Résumé La vérification automatisée de démonstrations mathématiques est une application
de la logique computationnelle qui est de grande importance à la fois pour les …

Developing proof theory for proof exchange

M Manighetti - 2023 - cnrs.hal.science
The mechanized verification of mathematical proofs is an application of computational logic
that is of importance in both mathematics and computer science. These applications range …

Developing proof theory for proof exchange

M Manighetti - 2023 - hal.science
The mechanized verification of mathematical proofs is an application of computational logic
that is of importance in both mathematics and computer science. These applications range …