Diabelli

MaRDI QIDQ31281swMATHFDO

Official website http://link.springer.com/chapter/10.1007%2F978-3-642-31365-3_44

Cited in

(8)

• Speedith: a reasoner for spider diagrams
• Diabelli: A Heterogeneous Proof System
• SketchSet
• Tahuti
• Openproof
• SketchNode
• Speedith
• Tesseract

This page was built for software: Diabelli