-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#881 In grootstebozewolf/NetTopologySuite.Proofs;
- Status: Open.#874 In grootstebozewolf/NetTopologySuite.Proofs;
- Status: Open.#873 In grootstebozewolf/NetTopologySuite.Proofs;
- Status: Open.#872 In grootstebozewolf/NetTopologySuite.Proofs;
Carrier for CircularEgg θ₀/Δθ on Sheet S or CST (blocks #771 intake-ok)
wayfinder:taskwayfinder ticket typewayfinder ticket typeStatus: Open.#866 In grootstebozewolf/NetTopologySuite.Proofs;- Status: Open.#863 In grootstebozewolf/NetTopologySuite.Proofs;
- Status: Open.#862 In grootstebozewolf/NetTopologySuite.Proofs;
- Status: Open.#859 In grootstebozewolf/NetTopologySuite.Proofs;
- Status: Open.#858 In grootstebozewolf/NetTopologySuite.Proofs;
Prove touch_rect_pair_bb_cell (vertical touch)
wayfinder:taskwayfinder ticket typewayfinder ticket typeStatus: Open.#848 In grootstebozewolf/NetTopologySuite.Proofs;Prove the general rect-touch cell theorem for IB/BI/IE/EI/BE/EB
wayfinder:taskwayfinder ticket typewayfinder ticket typeStatus: Open.#847 In grootstebozewolf/NetTopologySuite.Proofs;Wayfinder: γ after CircGamma
UrgentHigh priority - important for near-term curve features and foundational soundnessHigh priority - important for near-term curve features and foundational soundnessStatus: Open.#839 In grootstebozewolf/NetTopologySuite.Proofs;