A Visualization App on Proving Geometric Concepts. ICCE 2023.