Projects in Awesome Lists tagged with counterexamples
A curated list of projects in awesome lists tagged with counterexamples .
https://github.com/inaciovasquez2020/urf-counterexamples
URF Counterexamples — certified counterexamples and boundary cases for the Unified Rigidity Framework, clarifying limits and failure modes.
boundary-cases counterexamples formal-methods formal-verification lean4 reproducible-research rigidity-theory unified-rigidity-framework
Last synced: 04 Apr 2026
https://github.com/inaciovasquez2020/urf-minimal-obstruction
Certified minimal obstructions for graph and inference baselines under the Unified Rigidity Framework (URF).
certificates complexity-theory counterexamples graph-theory rigidity spectral-graph-theory weisfeiler-leman
Last synced: 04 Apr 2026
https://github.com/inaciovasquez2020/owc-counterexamples
Canonical counterexamples and boundary constructions for OWC-style rigidity and capacity–locality claims. Includes explicit witnesses, verification scripts, and documented failure modes to delineate admissible vs. non-admissible regimes.
capacity-locality certification complexity-theory counterexamples entropy-depth fo-k formal-methods information-theory locality reproducible-research rigidity verification
Last synced: 12 Apr 2026