Interactive geometry proof world: construct figures, pin measurements, drag to test steadiness, then prove with warrants and view generated two-column proofs.
geo proof · geoproof_m1
Geoproof: First Proof
Drag the endpoints. Both pins measure live — figure out which equality is a law and which is a lucky position.