ByNobleID
    An Instructional Model for Learning Theorem Proving with Dynamic Geometry Environment | NobleID