A Certified Version of Clark Kimberling's Encyclopedia of Triangle Centers

Legend

• Unverified The property is a conjecture, the property is checked only in some particular triangles
• Verified using CAS We have a script for a CAS to check that the property holds for any triangle (or for a large class of triangles)
• Certified using Coq We have a script for Coq to check that the property holds for any triangle (or for a large class of triangles)