PyRes

swMATH44961MaRDI QIDQ1334062FDOQ1334062

Author name not available (Why is that?)

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 (1)

• Title not available (Why is that?)

This page was built for software: PyRes