Tuan Minh Pham, Yves Bertot. A combination of a dynamic geometry software with a proof assistant for interactive formal proofs.
9th International Workshop On User Interfaces for Theorem Provers FLOC'10 Satellite Workshop, Jul 2010, Edinburgh, Scotland, United Kingdom.
⟨inria-00585400⟩