Windows desktop application (WPF) for displaying and auto snapping 'composition rules' grids on top of images.
-
Updated
Dec 3, 2022 - C#
#
composition-rules
Here are 2 public repositories matching this topic...
Lean 4 formalization of foundational transformation theory for Structural Explainability - defines structural transformation vocabulary, intrinsic effect semantics, and selected relations among transformation operators.
theorem-proving formal-methods formal-verification composition-rules orthogonality lean4 transformation-theory structural-explainability operator-semantics machine-readable-semantics operator-footprints atomic-effect-semantics machine-readable-transformation-registries
-
Updated
Oct 5, 2026 - Lean
Add this topic to your repo
To associate your repository with the composition-rules topic, visit your repo's landing page and select "manage topics."