RDL

swMATH26677MaRDI QIDQ38406FDOQ38406

Author name not available (Why is that?)

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

Described by source

• Mechanizing Mathematical Reasoning
• Unnamed Publication

Cited In (2)

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

This page was built for software: RDL