Static inheritance theory for preserving point-wise well-composedness in cubical complexes, with formal proofs and verification code.
topologyproofmathematical-imagingdigital-topologywell-composednesscubical-complexesdiscrete-topology
-
Updated
Aug 8, 2026 - Python