Openproof

MaRDI QIDQ31284swMATHFDO

Official website http://link.springer.com/chapter/10.1007/978-3-540-87730-1_32

Cited in

(6)

• Heterogeneous proofs: spider diagrams meet higher-order provers
• Dr.Doodle
• Diabelli
• Speedith
• Diabelli: A Heterogeneous Proof System
• Inspection and selection of representations

This page was built for software: Openproof