、証明とその理解の質を向上させる取り組みが続いている。