Skip to content

Issues: geometer/sandbox

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

21 Open 10 Closed
21 Open 10 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

Drop "property base" technique code cleanup
#31 opened Jul 13, 2020 by geometer
Replace ZeroAngleTransitivityProperty with new transitivity set code cleanup enhancement New feature or request
#30 opened Jul 13, 2020 by geometer
Same cycles transitivity set: remove duplicate information code cleanup
#29 opened Jul 13, 2020 by geometer
Move 'same' flag from AngleRatioProperty to reason enhancement New feature or request question Further information is requested
#27 opened Jul 8, 2020 by geometer
PropertySet.not_equal_property method should gone code cleanup
#25 opened Jul 6, 2020 by geometer
Complete migration to new string printing system code cleanup enhancement New feature or request
#23 opened Jun 19, 2020 by geometer
Replace "special" constructions with regular properties code cleanup enhancement New feature or request
#22 opened Jun 18, 2020 by geometer
Essentiality level for property should depend on the applied rule enhancement New feature or request
#20 opened May 29, 2020 by geometer
Create a recogniser of figures in scenes idea
#18 opened May 20, 2020 by geometer
Replace constraints hierarchy with properties code cleanup
#17 opened May 20, 2020 by geometer
Select "key steps" of proofs idea
#16 opened May 19, 2020 by geometer
Introduce "arbitrary equation property" enhancement New feature or request
#14 opened May 4, 2020 by geometer
Circle-related properties enhancement New feature or request
#13 opened May 4, 2020 by geometer
Collection of problems to test/demonstrate the app enhancement New feature or request
#12 opened May 1, 2020 by geometer
File format for writing tasks. enhancement New feature or request
#11 opened May 1, 2020 by geometer
Implement "prover with additional constructions" core feature
#10 opened May 1, 2020 by geometer
Negated properties enhancement New feature or request
#8 opened May 1, 2020 by geometer
Implement "prover with assumptions" core feature
#7 opened May 1, 2020 by geometer
Eliminate computational rules core feature
#6 opened May 1, 2020 by geometer
Write critical parts in C++ for performance idea
#3 opened Apr 21, 2020 by geometer
Language-independent compact presentation for rules idea
#2 opened Apr 21, 2020 by geometer
ProTip! no:milestone will show everything without a milestone.