unhandyandy

I see you're using Python 3.9. Did you try 3.10? That's what I'm using (with 3.11 the install failed).

The devs say they used 3.10.9, that might be important, but I can't say for sure.

Aren't bc and da parallel to each other?

Tests 1 and 2 were successful. Only test3 failed.

Ah, I see what you mean . Actually angle cbd is congruent to cbh; and when I change test2 to `b c d = triangle b c d; a =...

I think the "p" in pline is for parallel, not perpendicular; try tline instead. `a b c = triangle a b c` doesn't make it a right triangle. I think...

As I said in #67, I think the colon separates outputs on the left from inputs on the right.

Another issue is that if c happens to be _below_ b,then the proposition fails. Maybe you should try starting with a rtrapezoid, so you can control the orientation of the...

@Ehisnet This seems to work: ``` usamo_2023_p1 a b c = triangle a b c; m = midpoint m b c; p = foot p c a m; d =...

@songge25 Yes, I'm having trouble with that problem too. Here's my translation: ``` e a b c = r_trapezoid e a b c; d = on_line d a b, eqdistance...