Publication:4964707

zbMath1457.68297arXiv1103.3319MaRDI QIDQ4964707

Enrico Tassi, Andrea Asperti

Publication date: 3 March 2021

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

Mathematics Subject Classification ID

03B35: Mechanization of proofs and logical operations

68V20: Formalization of mathematics in connection with theorem provers

68V15: Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)

Uses Software

• Matita