Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / geometer/sandbox issues and pull requests
#31 - Drop "property base" technique
Issue -
State: open - Opened by geometer over 4 years ago
Labels: code cleanup
#30 - Replace ZeroAngleTransitivityProperty with new transitivity set
Issue -
State: open - Opened by geometer over 4 years ago
Labels: enhancement, code cleanup
#29 - Same cycles transitivity set: remove duplicate information
Issue -
State: open - Opened by geometer over 4 years ago
Labels: code cleanup
#28 - Consider replacements for networkx
Issue -
State: closed - Opened by geometer over 4 years ago
- 1 comment
Labels: enhancement, question
#27 - Move 'same' flag from AngleRatioProperty to reason
Issue -
State: open - Opened by geometer over 4 years ago
Labels: enhancement, question
#26 - Drop TwoPointsRelativeToLineTransitivityRule2
Issue -
State: closed - Opened by geometer over 4 years ago
- 1 comment
Labels: enhancement, code cleanup
#25 - PropertySet.not_equal_property method should gone
Issue -
State: open - Opened by geometer over 4 years ago
Labels: code cleanup
#24 - Sum of two angles cache is too big and slow
Issue -
State: closed - Opened by geometer over 4 years ago
- 1 comment
Labels: enhancement, code cleanup
#23 - Complete migration to new string printing system
Issue -
State: open - Opened by geometer over 4 years ago
Labels: enhancement, code cleanup
#23 - Complete migration to new string printing system
Issue -
State: open - Opened by geometer over 4 years ago
Labels: enhancement, code cleanup
#22 - Replace "special" constructions with regular properties
Issue -
State: open - Opened by geometer over 4 years ago
Labels: enhancement, code cleanup
#22 - Replace "special" constructions with regular properties
Issue -
State: open - Opened by geometer over 4 years ago
Labels: enhancement, code cleanup
#21 - Supplementary angles
Issue -
State: closed - Opened by geometer over 4 years ago
- 1 comment
Labels: enhancement
#21 - Supplementary angles
Issue -
State: closed - Opened by geometer over 4 years ago
- 1 comment
Labels: enhancement
#20 - Essentiality level for property should depend on the applied rule
Issue -
State: open - Opened by geometer over 4 years ago
Labels: enhancement
#19 - More flexible essential property attribute
Issue -
State: closed - Opened by geometer over 4 years ago
- 1 comment
Labels: enhancement
#19 - More flexible essential property attribute
Issue -
State: closed - Opened by geometer over 4 years ago
- 1 comment
Labels: enhancement
#18 - Create a recogniser of figures in scenes
Issue -
State: open - Opened by geometer over 4 years ago
Labels: idea
#17 - Replace constraints hierarchy with properties
Issue -
State: open - Opened by geometer over 4 years ago
Labels: code cleanup
#16 - Select "key steps" of proofs
Issue -
State: open - Opened by geometer over 4 years ago
Labels: idea
#15 - Inequality properties
Issue -
State: closed - Opened by geometer over 4 years ago
- 1 comment
Labels: enhancement
#14 - Introduce "arbitrary equation property"
Issue -
State: open - Opened by geometer over 4 years ago
Labels: enhancement
#13 - Circle-related properties
Issue -
State: open - Opened by geometer over 4 years ago
Labels: enhancement
#12 - Collection of problems to test/demonstrate the app
Issue -
State: open - Opened by geometer over 4 years ago
Labels: enhancement
#11 - File format for writing tasks.
Issue -
State: open - Opened by geometer over 4 years ago
Labels: enhancement
#10 - Implement "prover with additional constructions"
Issue -
State: open - Opened by geometer over 4 years ago
Labels: core feature
#9 - ContradictionException
Issue -
State: closed - Opened by geometer over 4 years ago
- 1 comment
Labels: core feature
#8 - Negated properties
Issue -
State: open - Opened by geometer over 4 years ago
Labels: enhancement
#7 - Implement "prover with assumptions"
Issue -
State: open - Opened by geometer over 4 years ago
Labels: core feature
#6 - Eliminate computational rules
Issue -
State: open - Opened by geometer over 4 years ago
Labels: core feature
#5 - Replace widely used Reason.obsolete field by rule-specific caches
Issue -
State: closed - Opened by geometer over 4 years ago
- 2 comments
Labels: code cleanup
#4 - Use MathJax in web UI
Issue -
State: closed - Opened by geometer over 4 years ago
- 1 comment
Labels: web UI
#3 - Write critical parts in C++ for performance
Issue -
State: open - Opened by geometer over 4 years ago
Labels: idea
#2 - Language-independent compact presentation for rules
Issue -
State: open - Opened by geometer over 4 years ago
Labels: idea
#1 - Move rules from explainer's big loop to separate classes
Issue -
State: closed - Opened by geometer over 4 years ago
- 1 comment
Labels: code cleanup