RDL

MaRDI QIDQ38406swMATHFDO

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

• scientific article; zbMATH DE number 1765707 (Why is no real title available?)
• Mechanizing Mathematical Reasoning

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