source: CGBLisp/examples/prover-alt.lisp@ 1

Last change on this file since 1 was 1, checked in by Marek Rychlik, 15 years ago

First import of a version circa 1997.
File size: 356 bytes
Line 
1;; $Id: prover-alt.lisp,v 1.4 1998/01/19 09:18:53 marek Exp $
2
3(prove-theorem
4 ((perpendicular C P A B)
5 (perpendicular A Q B C)
6 (perpendicular B R A C)
7 (collinear A P B)
8 (collinear B Q C)
9 (collinear A R C)
10 (collinear A H Q)
11 (collinear B H R))
12 ((identical-points A B)
13 (identical-points A C)
14 (identical-points B C)
15 (collinear C H P)))
16
Note: See TracBrowser for help on using the repository browser.