Openproof

swMATH19457MaRDI QIDQ31284FDOQ31284

Author name not available (Why is that?)

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
• Diabelli: A Heterogeneous Proof System
• Dr.Doodle
• Diabelli
• Speedith
• Inspection and selection of representations

This page was built for software: Openproof