Poitin

MaRDI QIDQ19571swMATHFDO

Official website http://dl.acm.org/citation.cfm?id=1706878

Cited in

(1)

• Poitín: distilling theorems from conjectures

This page was built for software: Poitin