DMCA

Automation for Geometry in Isabelle/HOL

by Laura I. Meikle , Jacques D. Fleuriot