alphageometry
alphageometry copied to clipboard
Can you also define problems like:
Given a parrallelogramm abcd such that...
It seems there is a keyword para
which means parallelogram. It's used in the first rule in rules.txt. Have you tried
para A B C D
?