-
Notifications
You must be signed in to change notification settings - Fork 10
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
- Status: Open.#430 In itpplasma/SIMPLE;
Full-orbit chartmap inversion robustness: eliminate near-edge/near-axis FO_LOCATE_FAIL faults
tier/T3physics or output behaviorphysics or output behaviorStatus: Open.#428 In itpplasma/SIMPLE;- Status: Open.#424 In itpplasma/SIMPLE;
- Status: Open.#423 In itpplasma/SIMPLE;
- Status: Open.#422 In itpplasma/SIMPLE;
- Status: Open.#421 In itpplasma/SIMPLE;
- Status: Open.#420 In itpplasma/SIMPLE;
- Status: Open.#419 In itpplasma/SIMPLE;
Tracker: formalize CPP slow-manifold theory in Lean
enhancementNew feature or requestNew feature or requestP3Eventual: nice to haveEventual: nice to havesize/XLreview size over 1000 changed linesreview size over 1000 changed linestier/T3physics or output behaviorphysics or output behaviorStatus: Open.#418 In itpplasma/SIMPLE;- Status: Open.#417 In itpplasma/SIMPLE;
- Status: Open.#416 In itpplasma/SIMPLE;
- Status: Open.#415 In itpplasma/SIMPLE;