Diabelli

swMATH19454MaRDI QIDQ31281FDOQ31281

Author name not available (Why is that?)

Cited In (2)

• Speedith: a reasoner for spider diagrams
• Diabelli: A Heterogeneous Proof System

This page was built for software: Diabelli