PyRes

MaRDI QIDQ1334062swMATHFDO

Official website https://link.springer.com/chapter/10.1007/978-3-030-51054-1_9

Source code repository https://github.com/eprover/PyRes

Described by source

• Teaching Automated Theorem Proving by Example: PyRes 1.2

Cited in

(2)

• THINKER
• scientific article; zbMATH DE number 7455734 (Why is no real title available?)

This page was built for software: PyRes