Joachim Breitner

The general triangle, formally

Published 2011-04-02 in sections English, Mathe.

My third submission to the Archive of Formal Proof has been published yesterday: A proof that there exists exactly one general triangle. Given that yesterday was the first of April, this is obviously not meant too be taken too serious; nevertheless it is not a prank either: The math is sound and now even formally verified using Isabelle.


<strong>Pingback:</strong> <a href=">PingBack</a>
#1 (Homepage) am 2011-04-04

Have something to say? You can post a comment by sending an e-Mail to me at <>, and I will include it here.