Nayoung Lee

Hi:) Could you please help me find where the code for drawing shapes like you do is located? I'm also searching for any clues that might lead me to it....

Hi:) I'm also very interested in this topic and would appreciate it if you could share the Training Dataset or the Data Generation script with me as well. I'm curious...

@projetmbc For example, if there is a coq code like this ``` Lemma prop_1_circle_circle : circle_circle -> forall A B, exists C, Cong A B A C /\ Cong A...