Skip to content

Issues: jjdishere/EG

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

56 Open 25 Closed
56 Open 25 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

point reflection
#277 opened Jan 12, 2024 by Noaillesss
Use PtNe everywhere
#269 opened Dec 22, 2023 by jjdishere
More instance of PtNe
#268 opened Dec 22, 2023 by jjdishere
1
Rename Ray.mk to Ray.mk_pt_dir
#242 opened Dec 3, 2023 by jjdishere
How to state a theorem about "there exist at most 2 points, such that ...?"
#241 opened Dec 3, 2023 by jjdishere
Is there a better way of writing complex geometric theorem statements?
#240 opened Dec 3, 2023 by jjdishere
New congruence relation and abs angle value
#237 opened Dec 3, 2023 by jjdishere
1
AngValue should copy all api's of Real.Angle that could be used in future in the file Basic.Angle
#233 opened Nov 30, 2023 by jjdishere
Suggest adding a tactic concerning parallel
#221 opened Nov 25, 2023 by Autrilance
1
Shan_Problem_1_1 fails, need a div n of AngValue, need theorems concerning real as angle
#216 opened Nov 24, 2023 by jjdishere
Tactic congr_sa fails now
#215 opened Nov 24, 2023 by jjdishere
IsocelesTriangle need new proofs
#214 opened Nov 24, 2023 by jjdishere
Restate Triangle.Basic theorem angle_pos_of_cclock
#213 opened Nov 24, 2023 by jjdishere
@[simp] TRI A B C .point_1 = A
#210 opened Nov 22, 2023 by jjdishere
add @[pp_dot] to defs, makes them show in the infoview as s.xxx
#209 opened Nov 22, 2023 by jjdishere
Many class should be structure
#208 opened Nov 20, 2023 by jjdishere
adjust binding power
#202 opened Nov 19, 2023 by jjdishere
Rename isnd to IsND
#201 opened Nov 19, 2023 by jjdishere
construct a parallel line to a point and a line
#200 opened Nov 19, 2023 by jjdishere
New realizations of angle value
#185 opened Nov 7, 2023 by jjdishere
Add Comments to Vector.lean
#184 opened Nov 7, 2023 by jjdishere
Reorganization of classes, Add class Fig LinearFig
#183 opened Nov 6, 2023 by jjdishere
1
Sketchy idea of file Angle.lean
#177 opened Nov 4, 2023 by jjdishere
Define Angle_Value for two DirFig.
#176 opened Nov 4, 2023 by cybcatppuccino
Add IsMidpt?
#174 opened Nov 3, 2023 by jjdishere
1
ProTip! What’s not been updated in a month: updated:<2024-07-12.