# GoGeometry Action 2!

Creation of this applet was inspired by a tweet posted by Antonio Gutierrez.

**How can you formally prove what this applet informally illustrates?**## Quick (Silent) Demo

## New Resources

## Discover Resources

Download our apps here:

Creation of this applet was inspired by a tweet posted by Antonio Gutierrez.
**How can you formally prove what this applet informally illustrates? **

Download our apps here: