Openproof

swMATH19457MaRDI QIDQ31284FDOQ31284

Author name not available (Why is that?)

Cited In (3)

• Diabelli: A Heterogeneous Proof System
• Heterogeneous Proofs: Spider Diagrams Meet Higher-Order Provers
• Inspection and selection of representations

This page was built for software: Openproof