obstruction-theory

Here are 2 public repositories matching this topic...

Kobayashi2501 / ak-collatz-collapse

This repository presents Version 1.0 of a complete structural and obstruction-theoretic proof of the Collatz Conjecture, based on

coq-formalization collatz-conjecture persistent-homology collapse-theory ak-hdpst obstruction-theory sheaf-theoretic-methods ext-class-triviality type-theoretic-proof energy-decay

Updated Aug 5, 2025
TeX

dhwcmoore / regional-obstruction-calculus

Star

Exact rational diagnostics for local-to-global obstruction, repair failure, refinement persistence, and associator residues in finite regional systems.

coq formal-methods cohomology rocq obstruction-theory finite-models rational-linear-algebra

Updated Jul 18, 2026
Python

Improve this page

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

Learn more