#

graph-rigidity

Here is 1 public repository matching this topic...

inaciovasquez2020 / fo4-constraint-isolation

FO4 constraint-isolation boundary module for Cayley/local-rigidity arguments; terminal Math-AI question preserved as OPEN_PROBLEM_REQUIRED.

fo4 cayley-graphs math-ai unified-rigidity-framework open-problem finite-variable-logic graph-rigidity proof-hygiene

Updated May 12, 2026
Python

Improve this page

Add a description, image, and links to the graph-rigidity topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the graph-rigidity topic, visit your repo's landing page and select "manage topics."