As part of a project to make mathematics machine-readable, mathematicians have discovered an error in an important proof.

There are two ways to construct a triangle using a ruler and a protractor. The first is a Side, Angle, Side (SAS) construction where two sides and the angle between them is known. The second is an ...