Openproof
From MaRDI portal
Software:31284
No author found.
Related Items
Diabelli: A Heterogeneous Proof System ⋮ Inspection and selection of representations ⋮ Heterogeneous Proofs: Spider Diagrams Meet Higher-Order Provers
This page was built for software: Openproof
