scientific article; zbMATH DE number 7317243

zbMath1457.68297arXiv1103.3319MaRDI QIDQ4964707

Enrico Tassi, Andrea Asperti

Publication date: 3 March 2021

Full work available at URL: https://arxiv.org/abs/1103.3319

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Formalization of mathematics in connection with theorem provers (68V20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Uses Software

• Matita

This page was built for publication: