shenglih
Results
3
issues of
shenglih
```BA:AC = 1_/2 [00] & AC:BA = 2_/1 [01] (Ratio chase)⇒ AC = BA [25]``` which is flat-out wrong. this was one of the proof steps generated from running ddar...
I tried this test case which i can manually verify it's valid: ```a b c = triangle12 a b c; d e f g = centroid d e f g...