Conjecture nets
Marici
Constructions
Isotope atlas
Net
Search
Show
All
Frontier
Open
Evidence & candidates
Deferred / blocked
Save JSON
Open JSON
Net source and boundaries
Dependencies
Four-port implications
−
+
Fit
Prerequisite → dependent
Fit
Clear selection
Pause layout
Gravity
0.06
Weight → thicker edges, stronger pull, shorter links · default 1
Dashed: dependency · Solid: port implication · ++ proved · +- failed proof · -+ rejected · -- failed rejection