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 23, 2026 - Python