#

rigidity-theory

Here are 2 public repositories matching this topic...

inaciovasquez2020 / urf-core

Trusted base of definitions, schemas, and verification artifacts for the Unified Rigidity Framework

reproducible-research information-theory logic mathematics verification graph-theory formal-methods invariants urf theoretical-computer-science formal-verification computational-complexity mathlib lean4 rigidity unified-rigidity-framework rigidity-theory core-axioms

Updated May 10, 2026
Python

inaciovasquez2020 / chronos-urf-rr

Flagship executable URF/Chronos implementation with verified build and test surface

reproducible-research information-theory verification graph-theory chronos urf reference-implementation formal-verification sat computational-complexity complexity-theory expanders lean4 rigidity unified-rigidity-framework rigidity-theory entropy-depth

Updated May 12, 2026
Python

Improve this page

Add a description, image, and links to the rigidity-theory 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 rigidity-theory topic, visit your repo's landing page and select "manage topics."