Although contents related to proof problems, which can clarify the essence of logical development, are difficult for beginners, efforts to use GeoGebra explicitly or implicitly may facilitate the solution of such problems. The official website of GeoGebra introduces the proving function, suggesting that the GeoGebra project is ambitious, not only for plotting, but also for proof of geometric problems. Here, we consider how to use the geometric proof ability of a computer in education. In other words, we examine the type of subject matter, how to combine provided certification functions, the conditions under which students should be allowed to learn by trial and error, and the exposure of students to mathematical intellectual activity. However, in addressing this problem, it is necessary to discuss whether such learning experiences will be meaningful in the first place, as well as what type of proof function can be provided by GeoGebra. Therefore, in the present paper, after examining the usage strategy of the proof function, such as how software with a certification function can be used for education, we examine the type of proof function that GeoGebra can provide and consider the significance and feasibility of using GeoGebra for geometric proof.