DMCA

Inductive Proof Automation for Coq

by Sean Wilson , Jacques Fleuriot , Alan Smaill
Citations:2 - 0 self