Razor

MaRDI QIDQ55220swMATHFDO

Official website https://web.cs.wpi.edu/~dd/publications/paar14.pdf

Source code repository https://github.com/salmans/RazorExamples

Cited in

(2)

• Exploring theories with a model-finding assistant
• iProver-Eq

This page was built for software: Razor