URF Prefab System — canonical prefab constructions and normal forms for the Unified Rigidity Framework, enabling reproducible instantiation of certified rigidity results.
reproducible-research formal-methods formal-verification canonical-forms normal-forms unified-rigidity-framework rigidity-theory prefab-system
-
Updated
Feb 15, 2026 - Python