RDL

swMATH26677MaRDI QIDQ38406FDOQ38406

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007/3-540-45744-5_54

Source code repository: https://github.com/theoremprover-museum/RDL

Described by source

• Mechanizing Mathematical Reasoning
• Unnamed Publication

Cited In (5)

• Constraint contextual rewriting.
• GUARDIAN
• STeP
• Tecton
• A reconstruction and extension of Maple's assume facility via constraint contextual rewriting

This page was built for software: RDL