Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] New in the AFP: Conway's Circle Theorem

Email Gateway (Jul 15 2026 at 15:48):

From: Lawrence Paulson <lp15@cam.ac.uk>

I am happy to report yet another contribution by the ever-prolific team of Arthur Freitas Ramos, David Barros Hulak and Ruy Jose Guerra Barretto de Queiroz. The abstract is a little too mathematical for me to render here, but see https://en.wikipedia.org/wiki/Conway_circle_theorem for the theorem.

The entry itself is at https://isa-afp.org/entries/Conway_Circle.html

Larry

Last updated: Jul 22 2026 at 14:00 UTC