executable-certificates

Here are 2 public repositories matching this topic...

inaciovasquez2020 / urf-verifier

URF Verifier — authoritative verifier for Unified Rigidity Framework certificates with deterministic checks, provenance validation, and CI-grade reproducibility.

reproducible-research provenance formal-verification verifier deterministic-builds cryptographic-signatures unified-rigidity-framework executable-certificates

Updated Sep 5, 2026
Python

SICKNESS18 / yang-mills-hs-gap-cert

Star

🔍 Verify and certify analytic bounds related to the Yang–Mills mass gap problem using reproducible computer-assisted scripts.

quantum-field-theory mathematical-physics hilbert-schmidt operator-theory yang-mills mass-gap spectral-gap executable-certificates ci-verified-monotonicity clay-problem

Updated Sep 12, 2026
Python

Add this topic to your repo

To associate your repository with the executable-certificates topic, visit your repo's landing page and select "manage topics."

Learn more