Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] new AFP entry: General-Triangle


view this post on Zulip Email Gateway (Aug 18 2022 at 17:19):

From: Gerwin Klein <Gerwin.Klein@nicta.com.au>
A new AFP entry is available at [http://afp.sourceforge.net/entries/General-Triangle.shtml]:

The General Triangle Is Unique
by Joachim Breitner

Abstract:
Some acute-angled triangles are special, e.g. right-angled or isoscele triangles. Some are not of this kind, but, without measuring angles, look as if they were. In that sense, there is exactly one general triangle. This well-known fact is proven here formally.

Date: 2011-04-01

Cheers,
Gerwin

The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.


Last updated: Apr 20 2024 at 12:26 UTC