Skip to content
GitHub Universe 2025
Explore 100+ talks, demos, and workshops at Universe 2025. Choose your favorites.
#

proof-strategy

Here is 1 public repository matching this topic...

AK‑HDPST v16.0 is an auditable proof framework for collapse in 1D persistence: Core—exact truncation T_tau and one‑way PH1→Ext1; Spec—windowed, non‑expansive pipelines audited by a delta‑ledger and (mu,nu).

  • Updated Sep 16, 2025
  • TeX

Improve this page

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

Learn more