Search results

point reflection

Status: Open.

#277 In jjdishere/EG;

· Noaillesss opened on Jan 12, 2024

Use PtNe everywhere

Status: Open.

#269 In jjdishere/EG;

· jjdishere opened on Dec 22, 2023

More instance of PtNe

Status: Open.

#268 In jjdishere/EG;

· jjdishere opened on Dec 22, 2023

Rename Ray.mk to Ray.mk_pt_dir

Status: Open.

#242 In jjdishere/EG;

· jjdishere opened on Dec 3, 2023

How to state a theorem about "there exist at most 2 points, such that ...?"

Status: Open.

#241 In jjdishere/EG;

· jjdishere opened on Dec 3, 2023

Is there a better way of writing complex geometric theorem statements?

Status: Open.

#240 In jjdishere/EG;

· jjdishere opened on Dec 3, 2023

New congruence relation and abs angle value

Status: Open.

#237 In jjdishere/EG;

· jjdishere opened on Dec 3, 2023

<code>AngValue</code> should copy all api's of <code>Real.Angle</code> that could be used in future in the file Basic.Angle

Status: Open.

#233 In jjdishere/EG;

· jjdishere opened on Nov 30, 2023

Suggest adding a tactic concerning parallel

Status: Open.

#221 In jjdishere/EG;

· Autrilance opened on Nov 25, 2023

Shan_Problem_1_1 fails, need a <code>div n</code> of AngValue, need theorems concerning real as angle

Status: Open.

#216 In jjdishere/EG;

· jjdishere opened on Nov 24, 2023

Tactic congr_sa fails now

Status: Open.

#215 In jjdishere/EG;

· jjdishere opened on Nov 24, 2023

IsocelesTriangle need new proofs

Status: Open.

#214 In jjdishere/EG;

· jjdishere opened on Nov 24, 2023