https://github.com/inaciovasquez2020/urf-counterexamples

URF Counterexamples — certified counterexamples and boundary cases for the Unified Rigidity Framework, clarifying limits and failure modes.
https://github.com/inaciovasquez2020/urf-counterexamples

boundary-cases counterexamples formal-methods formal-verification lean4 reproducible-research rigidity-theory unified-rigidity-framework

Last synced: 2 months ago
JSON representation

URF Counterexamples — certified counterexamples and boundary cases for the Unified Rigidity Framework, clarifying limits and failure modes.

• Host: GitHub
• URL: https://github.com/inaciovasquez2020/urf-counterexamples
• Owner: inaciovasquez2020
• License: other
• Created: 2026-02-08T06:35:48.000Z (4 months ago)
• Default Branch: main
• Last Pushed: 2026-03-22T03:48:39.000Z (3 months ago)
• Last Synced: 2026-04-04T01:37:08.590Z (2 months ago)
• Topics: boundary-cases, counterexamples, formal-methods, formal-verification, lean4, reproducible-research, rigidity-theory, unified-rigidity-framework
• Language: Shell
• Homepage: https://inaciovasquez2020.github.io
• Size: 19.5 KB
• Stars: 1
• Watchers: 0
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE
  • Citation: CITATION.cff

Awesome Lists containing this project

README

          
URF Counterexamples

This repository contains minimal, explicit counterexamples witnessing each terminal obstruction in the Unified Rigidity Framework.

Each directory includes:

- the smallest concrete instance

- a machine-checkable witness

- a short failure description

These objects are canonical and frozen.