ProofWeb

swMATH10134MaRDI QIDQ22102FDOQ22102

Author name not available (Why is that?)

Cited In (2)

• Merging Procedural and Declarative Proof
• Proviola: A Tool for Proof Re-animation

This page was built for software: ProofWeb