YuTV

Derivation DAGs

• Shapes to differentiate formula types
• Colors to differentiate FOF and CNF nodes
• Edge heads to indicate theory usage
• Colors to differentiate explicit splitting edge types

Uses

• Derivation debugging
• Derivation understanding